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)
• WISPER: Wissen anonym weitergeben (BMFTR)

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	Link
19.05.26	Gernot Heiser	LionOS: Performance and Security	Link
23.06.26	Albert Rizaldi	Muncake	Link
21.07.26	Lucas Deutschmann	Beyond Bug Hunting: Exhaustive Hardware Security Guarantees with UPEC	Link
18.08.26	Matt Wilding	“Can Formal Methods Help Me?”