Options
2010
Presentation
Titel
Verifying authentication properties of C protocol code using VCC
Titel Supplements
Presentation held at Fourth International Workshop on Analysis of Security APIs 2010, 21st July 2010, in Edinburgh