Education
Autumn Semester 2024/25
Bachelor and Master's Thesis Topics
Our group has a range of possible topics for bachelor's and master's theses at ETH and we are always looking for motivated and enthusiastic students. If you are interested in working at the intersection of trusted computing, system security, program analysis, and formal verification, please first take a look at our publications and various projects to get an overview of our work.
Read more here on how to Join Us.
Find finished student projects listed here.