Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.

Gijs Vanspauwen, Bart Jacobs

Browse the full SEFM paper archive.