Verifying Cryptographic Code in C: Some Experience and the Csec Challenge
Gilles Barthe; Anupam Datta; Sandro Etalle (Hrsg). Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Berlin: Springer 2011 S. 1 - 20
Erscheinungsjahr: 2011
ISBN/ISSN: 978-3-642-29419-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-29420-4_1
| Geprüft | Bibliothek |
Autoren
Aizatulin, Mihhail (Autor)
Dupressoir, François (Autor)
Gordon, Andrew D. (Autor)
