13 citations · 26 across the 5 of their papers we have counts for
5 papers
Foundational Verification of Smart Contracts through Verified Compilation
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten +6
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctnes…
Embedding a Deterministic BFT Protocol in a Block DAG
Maria A Schett, George Danezis
This work formalizes the structure and protocols underlying recent distributed systems leveraging block DAGs, which are essentially encoding Lamport's happened-before relations bet…
Blockchain Superoptimizer
Julian Nagele, Maria A Schett
In the blockchain-based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Execu…
Deconstructing Stellar Consensus (Extended Version)
Álvaro García-Pérez, Maria A. Schett
Some of the recent blockchain proposals, such as Stellar and Ripple, allow for open membership while using quorum-like structures typical for classical Byzantine consensus with clo…
Kruskal's Tree Theorem for Acyclic Term Graphs
Georg Moser, Maria A. Schett
In this paper we study termination of term graph rewriting, where we restrict our attention to acyclic term graphs. Motivated by earlier work by Plump we aim at a definition of the…