| Author:Lea Salome Brugger
 Keyphrasesautomated reasoning2, blockchain protocols, Decentralized Protocols, Game-theoretic security, game theory, incentive compatibility, protocol verification, Secure Protocols, security analysis. | 
|  | ||||
| 
 | ||||
| Copyright © 2012-2025 easychair.org. All rights reserved. |