TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 9.

Mantel, Heiko ; Weber, Alexandra ; Köpf, Boris (2017)
A Systematic Study of Cache Side Channels across AES Implementations.
Proceedings of the 9th International Symposium on Engineering Secure Software and Systems (ESSoS).
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2007)
Transformational Typing and Unification for Automatically Correcting Insecure Programs.
In: International Journal of Information Security (IJIS)
Artikel, Bibliographie

Köpf, Boris ; Mantel, Heiko (2007)
Transformational Typing and Unification for Automatically Correcting Insecure Programs.
In: International Journal of Information Security (IJIS)
Artikel, Bibliographie

Köpf, Boris ; Mantel, Heiko
Hrsg.: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Peter Y. A. ; Schneider, Steve (2006)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko
Hrsg.: Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Heiko Y. A. ; Schneider, Steve (2006)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Konferenzveröffentlichung, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Report, Bibliographie

Köpf, Boris ; Mantel, Heiko (2005)
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Report, Bibliographie

Diese Liste wurde am Tue Mar 26 03:48:05 2024 CET generiert.