HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Anja Petković Komel

Publications
CheckMate: Automated Game-Theoretic Security Reasoning
Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson
EasyChair Preprint no. 10853

Keyphrases

automated reasoning, Decentralized Protocols, game theory, Secure Protocols, security analysis.

Copyright © 2012-2023 easychair.org. All rights reserved.