most citedSpecMon: Modular Black-Box Runtime Monitoring of Security Protocols

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2024★ 4 cited

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…