Köpf, Boris

ETH-Zentrum
Boris Köpf
Informationssicherheit/ZISC
IFW C 45.1
Haldeneggsteig 4 / Weinbergstrasse
8092 Zürich
SWITZERLAND

I have moved to the Information Security and Cryptography group at the Max Planck Institute for Software Systems. My new homepage can be found here.

Publications

• Boris Köpf and David Basin: An Information-Theoretic Model for Adaptive Side-Channel Attacks. 14th ACM Conference on Computer and Communications Security (CCS '07).
• Boris Köpf and Heiko Mantel: Transformational Typing and Unification for Automatically Correcting Insecure Programs. International Journal of Information Security (IJIS). © Springer-Verlag, 2007.
• Boris Köpf and David Basin: Timing-Sensitive Information Flow Analysis for Synchronous Systems. Proc. 11th European Symposium On Research In Computer Security (ESORICS '06). LNCS 4189, pp. 243-262, © Springer-Verlag, 2006.
• Boris Köpf and Heiko Mantel: Eliminating Implicit Information Leaks by Transformational Typing and Unification. Proc. 3rd Intl. Workshop on Formal Aspects of Security and Trust (FAST '05). LNCS 3866, pp. 47 - 62, © Springer-Verlag, 2006.
• Ulrik Brandes and Boris Köpf: Fast and Simple Horizontal Coordinate Assignment. Proc. 9th Intl. Symp. Graph Drawing (GD '01), LNCS 2265, pp. 31-44. © Springer-Verlag, 2002.
• Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler, Boris Köpf, Jürgen Lerner, and Dorothea Wagner: visone - Software for Visual Social Network Analysis. Proc. 9th Intl. Symp. Graph Drawing (GD '01), LNCS 2265, pp. 463-464. © Springer-Verlag, 2002.

Technical Reports, Theses, etc.

• Boris Köpf and David Basin: Timing-Sensitive Information Flow Analysis for Synchronous Systems. ETH Technical Report 526, 2006.
• Boris Köpf and Heiko Mantel: Eliminating Implicit Information Leaks by Transformational Typing and Unification. ETH Technical Report 498, 2005.
• Boris Köpf and Heiko Mantel: Eliminating Timing Leaks by Unification (Extended Abstract), presented at 1st Intl. Workshop on Programming Language Interference and Dependence, Verona, Italy, 25 August 2004.
• Boris Köpf: Fixed Parameter Algorithms on Planar Graphs. MSc Thesis, Universität Konstanz, 2002.

Teaching

Past Student Projects

• Yves Geissbühler: Quantifying Information Leaks. Semesterarbeit, 2007.
• Audrey Lim: Detecting Timing Leaks in Hardware. Semesterarbeit, 2006.
• Martin Bättig: Visualization of Information Leaks. Semesterarbeit, 2005.
• Christina Pöpper: A Security Analyzer for Multi-Threaded Programs. Diplomarbeit, 2005. (co-supervised with Heiko Mantel)

Courses

• Summer '07: co-coordinator and teaching assistant for Formal Methods and Functional Programming
• Fall '06: teaching assistant for Information Theory
• Fall '05: teaching assistant for Informatik (D-MATH,D-PHYS)
• Summer '05: co-coordinator and teaching assistant for Formal Methods and Functional Programming
• Summer '04: co-coordinator and teaching assistant for Theory of Computation
• Fall '03: co-coordinator and teaching assistant for Informatik 3.
• Summer '03: teaching assistant for Theory of Computation.
• Fall '01: teaching assistant for Linear Algebra.