Formal Verification of the Horn-Preneel Micropayment Protocol
Abstract elided by the publisher.
Related papers
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- Probabilistic Horn Clause Verification SAS 2017
- Relational Verification Through Horn Clause Transformation SAS 2016
- Tree Automata-Based Refinement with Application to Horn Clause Verification VMCAI 2015
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- Verification of Recursively Defined Quantum Circuits PLDI 2026