Computer Security
By using a fundamental approach for security engineering, we build trust. We study how to secure computational environments in the presence of strong adversaries where we formally model security guarantees such as privacy, integrity, correctness, and more.
The Computer Security group contributes to making our society a safe place with digital and physical infrastructures that can be trusted to have the best interest of citizens and industry in mind. Our work constructively contributes new mechanisms and solutions to security problems.
We are committed to bringing rigorous cryptographic style thinking to security engineering. We study, analyze, and design secure computing environments from various perspectives such as secure processor architectures and cyber physical system security but also secure machine learning functionalities. We provide a holistic approach and use various techniques for reasoning about security, safety, and resilience ranging from formal methods to cryptographic proofs.
News
All newsNWO Gravitation: 21.5 million euros for 'Challenges in Cyber Security'
![glossy-network-security](/images/40871/glossy-network-security.2e16d0ba.fill-427x427.jpg)
Marten van Dijk and co-authors win ACM CCS 2023 Test of Time Award
![Marten van Dijk at a whiteboard at CWI, January 2024 (with focus area).](/images/46994/Marten-van-Dijk-header-news-item-I.bf85dce1.fill-427x427.jpg)
Google award for discovering bug in Java library
![Hans-Dieter Hiep (CSY, Leiden University) in a work meeting. Picture: CWI. [NB Please keep focal area]](/images/43548/CWI_Algemeen_20_10_04-063.190b82dc.fill-427x427.jpg)
Marten van Dijk wins IEEE CS Edward J. McCluskey Technical Achievement Award
![Marten van Dijk at the 2023 Edward J. McCluskey Technical Achievement Award ceremony on 19 September 2023.](/images/44515/IMG-20230920-WA0002.e46ddfb6.fill-427x427.jpg)
Members
Associated members
Current projects with external funding
- Challenges in Cybersecurity (None)