Sound Symbolic Linking in the Presence of Preprocessing. - Gijs Vanspauwen; Bart Jacobs 002 (SEFM, 2013)

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. - Gijs Vanspauwen; Bart Jacobs 002 (SEFM, 2015)