Short Paper: Modular Black-box Runtime Verification of Security Protocols.

Kevin Morio, Dennis Jackson, Marco Vassena, Robert Knnemann

Browse the full CCS paper archive.