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
Jump to: 2017 | 2007 | 2006 | 2005
Number of items: 9.

2017

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

2007

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

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

2006

Köpf, Boris and Mantel, Heiko Dimitrakos, Theodosis and Martinelli, Fabio and Ryan, Peter Y. A. and 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, Newcastle upon Tyne, UK, Springer Verlag, pp. 47-62, [Conference or Workshop Item]

Köpf, Boris and Mantel, Heiko Dimitrakos, Theodosis and Martinelli, Fabio and Ryan, Heiko Y. A. and 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, Springer Verlag, pp. 47--62, [Conference or Workshop Item]

2005

Köpf, Boris and 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, Newcastle, UK, University of Newcastle, pp. 45-60, [Conference or Workshop Item]

Köpf, Boris and 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, University of Newcastle, pp. 45--60, [Conference or Workshop Item]

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

Köpf, Boris and 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 Dec 10 01:56:25 2019 CET.