Laura Kovács

Loop Analysis by Quantification over Iterations

2018 · EPiC series in computing

We present a framework to analyze and verify programs containing loops by using a first-order language of so-called extended expressions. This language can express both functional and temporal properties of loops. We prove soundness and …

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols

2021 · arXiv (Cornell University)

Off-chain protocols constitute one of the most promising approaches to solve the inherent scalability issue of blockchain technologies. The core idea is to let parties transact on-chain only once to establish a channel between them, …