A Generic Methodology for the Modular Verification of Security Protocol Implementations.

Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, Peter Mller

Browse the full CCS paper archive.