HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Anja Petković Komel

Publications
Scaling CheckMate for Game-Theoretic Security
Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Game Modeling of Blockchain Protocols
Sophie Rain, Anja Petković Komel, Michael Rawson and Laura Kovács
EasyChair Preprint 16006
Divide and Conquer: a Compositional Approach to Game-Theoretic Security
Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson
EasyChair Preprint 15785
Divide and Conquer: a Compositional Approach to Game-Theoretic Security
Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson
EasyChair Preprint 15785
CheckMate: Automated Game-Theoretic Security Reasoning
Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson
EasyChair Preprint 10853

Keyphrases

automated reasoning3, blockchain protocols, Decentralized Protocols, formal models, Game-theoretic security, game theory3, incentive compatibility, Modeling Template, Protocol Modeling, protocol verification, Secure Protocols, Security, security analysis, SMT solving.

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