<div class="csl-bib-body">
<div class="csl-entry">Brugger, L. S., Kovacs, L., Petkovic Komel, A., Rain, S., & Rawson, M. (2022, August 11). <i>Automating Security Analysis of Off-Chain Protocols</i> [Conference Presentation]. 4th International Workshop on Formal Methods for Blockchains, Haifa, Israel. https://doi.org/10.34726/3523</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/152387
-
dc.identifier.uri
https://doi.org/10.34726/3523
-
dc.description.abstract
Game-theoretic approaches provide new ways to model and formally prove security properties of off-chain protocols. For complex protocols, carrying out such formal proofs is a cumbersome and error-prone task. We describe our ongoing efforts for automating the security analysis of off-chain protocols. We encode the game-theoretic protocol model, together with its security properties, as universally quantified formulas, and use SMT solving to enforce these properties.
en
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
automated reasoning
en
dc.subject
secure blockchain
en
dc.subject
off-chain channels
en
dc.subject
game theory
en
dc.title
Automating Security Analysis of Off-Chain Protocols
