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
File(s)
Rights
Use according to copyright law
DOI
Language
English