Brugger, L. S., Kovacs, L., Petkovic Komel, A., Rain, S., & Rawson, M. (2022, August 11). Automating Security Analysis of Off-Chain Protocols [Conference Presentation]. 4th International Workshop on Formal Methods for Blockchains, Haifa, Israel. https://doi.org/10.34726/3523
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
11-Aug-2022
-
Event name:
4th International Workshop on Formal Methods for Blockchains
en
Event date:
11-Aug-2022
-
Event place:
Haifa, Israel
-
Keywords:
automated reasoning; secure blockchain; off-chain channels; game theory
en
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
Project title:
Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission)
-
Research Areas:
Mathematical and Algorithmic Foundations: 80% Computer Science Foundations: 10% Modeling and Simulation: 10%