3 Titel in Alle Kollektionen
Klassifikation
Schliessen
Filter
2

CogniCrypt - the secure integration of cryptographic software
Stefan, Krüger ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2020
Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2019
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, Ben
Elektronische Ressource, Paderborn, 2019

Publizieren