Software
Protocol Testing
chevron_right SecFuzzSpecification Synthesis
chevron_right Mid-point synthesisConsensus Protocol Verification
chevron_right Consensus VerifierIsabelle/HOL Frameworks
- chevron_right ProtoVeriPhy
- chevron_right Developing Security Protocols by Refinement
- chevron_right Verification of IBM 4765's Persistent Memory Manager
- external page call_made Refinement of Consensus Protocols
- external page call_made Igloo: End-to-End Verification of Distributed Systems
- external page call_made Formalization of a Verification Framework for Secure Data Plane Protocols