| * | 2009 |
|---|
| 8 | EE | Michael Backes,
Boris Köpf,
Andrey Rybalchenko:
Automatic Discovery and Quantification of Information Leaks.
IEEE Symposium on Security and Privacy 2009: 141-153 |
| 2008 |
|---|
| 7 | EE | Michael Backes,
Boris Köpf:
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.
ESORICS 2008: 517-532 |
| 2007 |
|---|
| 6 | EE | Boris Köpf,
David A. Basin:
An information-theoretic model for adaptive side-channel attacks.
ACM Conference on Computer and Communications Security 2007: 286-296 |
| 5 | EE | Boris Köpf,
Heiko Mantel:
Transformational typing and unification for automatically correcting insecure programs.
Int. J. Inf. Sec. 6(2-3): 107-131 (2007) |
| 2006 |
|---|
| 4 | EE | Boris Köpf,
David A. Basin:
Timing-Sensitive Information Flow Analysis for Synchronous Systems.
ESORICS 2006: 243-262 |
| 2005 |
|---|
| 3 | EE | Boris Köpf,
Heiko Mantel:
Eliminating Implicit Information Leaks by Transformational Typing and Unification.
Formal Aspects in Security and Trust 2005: 47-62 |
| 2001 |
|---|
| 2 | EE | Ulrik Brandes,
Boris Köpf:
Fast and Simple Horizontal Coordinate Assignment.
Graph Drawing 2001: 31-44 |
| 1 | EE | Michael Baur,
Marc Benkert,
Ulrik Brandes,
Sabine Cornelsen,
Marco Gaertler,
Boris Köpf,
Jürgen Lerner,
Dorothea Wagner:
Visone.
Graph Drawing 2001: 463-464 |
