Boris Köpf

	2012
20		Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin: Probabilistic relational reasoning for differential privacy. POPL 2012: 97-110
19		Boris Köpf, Laurent Mauborgne, Martín Ochoa: Automatic Quantification of Cache Side-Channels. IACR Cryptology ePrint Archive 2012: 34 (2012)
	2011
18		Michael Backes, Matthias Berg, Boris Köpf: Non-uniform distributions in quantitative information-flow. ASIACCS 2011: 367-375
17		Gilles Barthe, Boris Köpf: Information-Theoretic Bounds for Differentially Private Mechanisms. CSF 2011: 191-204
16		Gilles Barthe, Boris Köpf: Information-theoretic Bounds for Differentially Private Mechanisms. IACR Cryptology ePrint Archive 2011: 71 (2011)
15		Boris Köpf, David A. Basin: Automatically deriving information-theoretic bounds for adaptive side-channel attacks. Journal of Computer Security 19(1): 1-31 (2011)
	2010
14		Boris Köpf, Andrey Rybalchenko: Approximation and Randomization for Quantitative Information-Flow Analysis. CSF 2010: 3-14
13		Boris Köpf, Geoffrey Smith: Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. CSF 2010: 44-56
12		Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf: Speaker Recognition in Encrypted Voice Streams. ESORICS 2010: 508-523
	2009
11		Boris Köpf, Markus Dürmuth: A Provably Secure and Efficient Countermeasure against Timing Attacks. CSF 2009: 324-335
10		Michael Backes, Boris Köpf, Andrey Rybalchenko: Automatic Discovery and Quantification of Information Leaks. IEEE Symposium on Security and Privacy 2009: 141-153
9		Boris Köpf, Markus Dürmuth: A Provably Secure And Efficient Countermeasure Against Timing Attacks. IACR Cryptology ePrint Archive 2009: 89 (2009)
	2008
8		Michael Backes, Boris Köpf: Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. ESORICS 2008: 517-532
7		Michael Backes, Boris Köpf: Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. IACR Cryptology ePrint Archive 2008: 162 (2008)
	2007
6		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		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		Boris Köpf, David A. Basin: Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS 2006: 243-262
	2005
3		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		Ulrik Brandes, Boris Köpf: Fast and Simple Horizontal Coordinate Assignment. Graph Drawing 2001: 31-44
1		Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler, Boris Köpf, Jürgen Lerner, Dorothea Wagner: Visone. Graph Drawing 2001: 463-464

Coauthor Index

1	Michael Backes	[7] [8] [10] [12] [18]
2	Gilles Barthe	[16] [17] [20]
3	David A. Basin	[4] [6] [15]
4	Michael Baur	[1]
5	Santiago Zanella Béguelin	[20]
6	Marc Benkert	[1]
7	Matthias Berg	[18]
8	Ulrik Brandes	[1] [2]
9	Sabine Cornelsen	[1]
10	Goran Doychev	[12]
11	Markus Dürmuth	[9] [11] [12]
12	Marco Gaertler	[1]
13	Jürgen Lerner	[1]
14	Heiko Mantel	[3] [5]
15	Laurent Mauborgne	[19]
16	Martín Ochoa	[19]
17	Federico Olmedo	[20]
18	Andrey Rybalchenko	[10] [14]
19	Geoffrey Smith	[13]
20	Dorothea Wagner	[1]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page