Systematic Construction of Correct Systems
Our group focuses on the systematic approaches to design, implementation, and verification of secure and correct systems. Our main research areas are:
Do you trust your laptop? Your mobile phone? How about the controller running the brakes in your car? We investigate security properties of systems that split computing platforms into a secure and a non-secure environments.
Synthesize one small system, and scale it to a correct system of any size. When the system is too large for tools to handle, we reduce it to a small one and check that instead.
Available Student Projects
Our currently offered master- and seminar-projects can be found here.
For information on Bachelor projects look here.