Skip to content

Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk.

Cdric Fournet

VenueA*CCS
Year2016
ProceedingsPLAS@CCS

Browse the full CCS paper archive.