All publications and tools produced at the Institute are listed on separate subpages.
Nächste Seminartermine / next seminar sessions
| Datum / Date | Uhrzeit / Time | Redner / Speaker | Thema / Topic |
|---|
Information about past seminar meetings is available under Seminar.
Ongoing Projects
- AnoMed: Competence cluster anonymization for medical applications (BMFTR)
- FOCAL: Functional cOmposition of post quantum Cryptosystems At Large
- HaSPro: Verifiable Hardware Security for Out-of-Order Processors (DFG)
- PROTECT: Proving Next Generation Secure Systems
- ReTEE: Restoring Trust in Trusted Execution Environments (DFG)
- SILGENTAS: Security in the intelligent networked home (BMFTR)
- SOVEREIGN: Modular cyber defense platform based on open software/hardware with zero-trust principles
- VeDS: Trustworthy data exchange for distributed power grids (Land Schleswig-Holstein)
Information about past research projects is available under Projects.
Trustworthy Tuesday
Snackable science at 2pm CE(S)T
| Date | Presenter | Title | Recording |
|---|---|---|---|
| 21.10.25 | Christoph Lüth | Introduction to Formal Software Verification | Link |
| 11.11.25 | Wolfgang Kunz | Introduction to Formal Hardware Verification - Designing correct and secure chips: How can formal methods help? | Link |
| 03.12.25 | Mo Fadiheh | Property Generator: Generating Formal Assertions for Trustworthy Hardware | Link |
| 04.01.26 | June Andronick | seL4: Formally Verified Software Protects from Cyber Attacks | Link |
| 05.02.26 | Pascal Sasdrich | Computer-Aided Hardware Security Verification | Link |
| 06.03.26 | Chiara Ghinami | Building Trustworthy Software with Simulation-based Testing | Link |
| 21.04.26 | Pajam Pauls | Language-Based Verification of Probabilistic Security | |
| 19.05.26 | Gernot Heiser | LionOS: Performance and Security | |
| 23.06.26 | Albert Rizaldi | Muncake | |
| 21.07.26 | Lucas Deutschmann | Beyond Bug Hunting: Exhaustive Hardware Security Guarantees with UPEC |
