Pseudo-Random Number Generator Verification: A Case Study
Dörre, Felix
1; Klebanov, Vladimir 1
1 Karlsruher Institut für Technologie (KIT)
1; Klebanov, Vladimir 11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-29612-8 ISSN: 0302-9743 KITopen-ID: 1000052967 |
| HGF-Programm | 46.12.03 (POF III, LK 01) Data Security |
| Erschienen in | Proceedings, Verified Software: Theories, Tools, and Experiments (VSTTE) : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Hrsg.: A. Gurfinkel |
| Auflage | 1 |
| Verlag | Springer International Publishing |
| Seiten | 61-72 |
| Serie | LNCS - Lecture Notes in Computer Science ; 9593 |
| Projektinformation | KASTEL_IoE (BMBF, 16KIS0346) |
| Nachgewiesen in | Dimensions Scopus |