E-mail senden E-Mail Adresse kopieren
Forschungsgruppe

Cremers

Meine Forschung umfasst die Anwendung formaler Methoden und der Kryptographie auf die Analyse und Entwicklung sicherer Systeme. Die daraus resultierenden Erkenntnisse umfassen: formale Grundlagen der Sicherheit, unterstützende Technologien und die Verbesserung von Sicherheitsstandards.

Gruppenleiter:in

Cas Cremers

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Mitglieder

Aurora Naska

Erik Pallas

Roman Wetenkamp

Dhekra Mahmoud

Neueste Veröffentlichungen

Jahr 2026

2026-08-12

Secure Protocol Composition under Dynamic Corruption:
Scaling Up Symbolic Analysis for Real-World Security Protocols

Konferenz / Medium

Usenix Security Symposium (USENIX-Security)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2026-06

Formal Verification of EDHOC-PSK:
A Symbolic Approach with SAPIC+

Konferenz / Medium

Proceedings of the ACM Asia Conference on Computer and Communications Security Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
  • Elsa López Pérez
  • Thomas Watteyne
  • Cristina Onete
  • Dhekra Mahmoud
  • Pascal Lafourcade
  • Vaishnavi Sundararajan
  • Mališa Vuini
Zum Paper Detail-Seite besuchen
2026

ETK:
External-Operations TreeKEM and the Security of MLS in RFC 9420

Konferenz / Medium

International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2025

2025-11-19

Breaking and Provably Restoring Authentication:
A Formal Analysis of SPDM 1.2 including Cross-Protocol Attacks

Konferenz / Medium

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security

Tags
Autor:innen
Zum Paper Detail-Seite besuchen
2025-10-13

Looping for Good:
Cyclic Proofs for Security Protocols

Konferenz / Medium

ACM Conference on Computer and Communications Security (CCS) Looping for Good: Cyclic Proofs for Security Protocols

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen