2010
Presentation
Title

Verifying authentication properties of C protocol code using VCC

Title Supplement
Presentation held at Fourth International Workshop on Analysis of Security APIs 2010, 21st July 2010, in Edinburgh
Author(s)
Dupressoir, François
Gordon, Andrew D.
Jürjens, Jan  
Fraunhofer-Institut für Software- und Systemtechnik ISST  
Conference
DOI
File(s)
Rights
Under Copyright
Language
English