Project

Poirot: Secure Protocol Implementation by Design

Architectural diagram of Poirot tool
Even formally verified protocols that have been faithfully implemented have been found to have security vulnerabilities. A new framework eliminates such vulnerabilities by design.