Nächste Seminartermine / next seminar sessions

Datum / Date	Uhrzeit / Time	Redner / Speaker	Thema / Topic

 

Laufende Projekte

• AnoMed: Kompetenzcluster Anonymisierung für medizinische Anwendungen (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: Sicherheit im intelligenten vernetzten Haus (BMFTR)
• SOVEREIGN: Modulare Cyberabwehrplattform auf offener Software-/Hardwarebasis mit Zero-Trust-Prinzipien
• VeDS: Vertrauenswürdiger Datenaustausch für verteilte Stromnetze (Land Schleswig-Holstein)

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