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)