Skip to content

Modular code-based cryptographic verification.

Cdric Fournet, Markulf Kohlweiss, Pierre-Yves Strub

VenueA*CCS
Year2011
ProceedingsCCS

Browse the full CCS paper archive.