SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols

Kevin Morio, Robert Künnemann

There exists a verification gap between formal protocol specifications and their actual implementations, which this work aims to bridge via monitoring for compliance to the formal…