KIT | KIT-Bibliothek | Impressum | Datenschutz

Pseudo-Random Number Generator Verification: A Case Study

Dörre, Felix ORCID iD icon 1; Klebanov, Vladimir 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-29613-5_4
Scopus
Zitationen: 3
Dimensions
Zitationen: 4
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page