Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.
Formal Aspects in Security and Trust. 2011 S. 1 - 20
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Aizatulin, Mihhail (Autor)
Dupressoir, François (Autor)
D. Gordon, Andrew (Autor)