TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Mantel, Heiko ; Weber, Alexandra ; Köpf, Boris (2017):
A Systematic Study of Cache Side Channels across AES Implementations.
pp. 213-230, Proceedings of the 9th International Symposium on Engineering Secure Software and Systems (ESSoS), [Conference or Workshop Item]

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

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

Köpf, Boris ; Mantel, Heiko
Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Peter Y. A. ; Schneider, Steve (eds.) (2006):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: LNCS, 3866, In: Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, pp. 47-62,
Newcastle upon Tyne, UK, Springer Verlag, [Conference or Workshop Item]

Köpf, Boris ; Mantel, Heiko
Dimitrakos, Theodosis ; Martinelli, Fabio ; Ryan, Heiko Y. A. ; Schneider, Steve (eds.) (2006):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: LNCS, 3866, In: Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, pp. 47--62,
Springer Verlag, [Conference or Workshop Item]

Köpf, Boris ; Mantel, Heiko (2005):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: Proceedings of Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, pp. 45-60,
Newcastle, UK, University of Newcastle, [Conference or Workshop Item]

Köpf, Boris ; Mantel, Heiko (2005):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: Proceedings of Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, pp. 45--60,
University of Newcastle, [Conference or Workshop Item]

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

Köpf, Boris ; Mantel, Heiko (2005):
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
In: Revised version appeared 2006 in Springer LNCS, Zürich, [Report]

This list was generated on Tue Jun 22 00:57:56 2021 CEST.