Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-29420-4_1 ◽

2012 ◽

pp. 1-20 ◽

Cited By ~ 1

Author(s):

Mihhail Aizatulin ◽

François Dupressoir ◽

Andrew D. Gordon ◽

Jan Jürjens

Download Full-text