Abstract is missing.
- Formal Verification of a Fail-Safe Cross-Chain BridgeFilip Maric, Bernhard Scholz, Pavle Subotic. [doi]
- Formally Specifying Contract Optimizations with Bisimulations in CoqDerek Sorensen. [doi]
- Program Logics for LedgersOrestis Melkonian, Wouter Swierstra, James Chapman 0001. [doi]
- Verifying Smart Contract Transformations Using BisimulationsKegan McIlwaine, James L. Caldwell. [doi]
- Towards a Mechanization of Fraud Proof Games in LeanMartín Ceresa, César Sánchez 0001. [doi]
- Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk)Julian Sutherland. [doi]
- Scar: Verification-Based Development of Smart Contracts (Tool Paper)Jonas Schiffl, Bernhard Beckert. [doi]
- A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper)João Miguel Louro Neto, Burcu Kulahcioglu Ozkan. [doi]
- Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in CardanoTudor Ferariu, Philip Wadler, Orestis Melkonian. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper)Asad Ahmed, Diego Marmsoler. [doi]
- A Readable and Computable Formalization of the Streamlet Consensus ProtocolMauro Jaskelioff, Orestis Melkonian, James Chapman 0001. [doi]
- Formal Verification in Solidity and Move: Insights from a Comparative AnalysisMassimo Bartoletti, Silvia Crafa, Enrico Lipparini. [doi]
- Is Formal Verification Practical? (Invited Talk)Wolfgang Grieskamp. [doi]
- ByteSpector: A Verifying Disassembler for EVM BytecodeFranck Cassez. [doi]