Extracting and verifying cryptographic models from C protocol code by symbolic execution
Yan Chen; George Danezis; Vitaly Shmatikov (Hrsg). Proceedings of the 18th ACM Conference on Computer and Communications Security CCS '11: October 17. - 21., 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 331 - 340
Erscheinungsjahr: 2011
ISBN/ISSN: 978-1-4503-0948-6
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1145/2046707.2046745
| Geprüft | Bibliothek |
