Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols

Brzuska, Chris; Cremers, Cas; Jacobsen, Håkon; Stebila, Douglas; Warinschi, Bogdan

doi:10.60882/cispa.29042453.v1

Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols

chapter

posted on 2025-05-12, 18:44 authored by Chris Brzuska, Cas CremersCas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi

No description supplied

History

CISPA Affiliation

Yes

Volume

15600

Book Title

Information Security in a Connected World

Page Range

214-255

Series

Lecture Notes in Computer Science

Publisher

Springer Nature

Open Access Type

Not Open Access

BibTeX

@inbook{Brzuska:Cremers:Jacobsen:Stebila:Warinschi:2025, title = "Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols", author = "Brzuska, Chris" AND "Cremers, Cas" AND "Jacobsen, Håkon" AND "Stebila, Douglas" AND "Warinschi, Bogdan", year = 2025, month = 1, booktitle = "Information Security in a Connected World", series = "Lecture Notes in Computer Science", pages = "214--255", publisher = "Springer Nature", doi = "10.1007/978-3-031-83490-5_9" }