Dependable Systems Laboratory

The Laboratory of Dependable Systems (DSLAB) at EPFL focuses on developing techniques for building trustworthy computer systems that are safe and secure. Their research delves into the challenges of security and safety in large-scale systems, exploring solutions to real-world problems. DSLAB operates at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture. The lab's work is supported by various industry leaders and research grants, enabling the development of open-source prototypes for evaluating their solutions with real-world workloads.