Relating Message Passing and Shared Memory, Proof-Theoretically

von Pfenning, Frank
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard

von Helmschmidt, Florian
Veröffentlicht in European Symposium on Research in Computer Security (28. : 2023 : Den Haag) Computer security - ESORICS 2023 ; Part 3 (2024)

Layered Symbolic Security Analysis in DY*

von Bhargavan, Karthikeyan
Veröffentlicht in European Symposium on Research in Computer Security (28. : 2023 : Den Haag) Computer security - ESORICS 2023 ; Part 3 (2024)