Extracting and verifying cryptographic models from C protocol code by symbolic execution.

Mihhail Aizatulin, Andrew D. Gordon, Jan Jrjens

Browse the full CCS paper archive.