Software

Protocol Testing

SecFuzz

Specification Synthesis

Mid-point synthesis

Monitoring

• MonPoly
• external page VeriMon
• external page Hydra/Vydra
• external page Scalable Online Monitoring Framework
• AERIAL

Consensus Protocol Verification

Consensus Verifier

Isabelle/HOL Frameworks

• ProtoVeriPhy
• Developing Security Protocols by Refinement
• Verification of IBM 4765's Persistent Memory Manager
• external page Refinement of Consensus Protocols
• external page Igloo: End-to-End Verification of Distributed Systems
• external page Formalization of a Verification Framework for Secure Data Plane Protocols

GDPR compliance

CookieBlock