Unit

Dependable Systems Laboratory

Laboratory

Summary

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.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Dependable Systems Laboratory

Chat with Graph Search

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

A SOFT Way for OpenFlow Switch Interoperability Testing