Boris Köpf

Cited by

	All	Since 2016
Citations	2290	1216
h-index	22	18
i10-index	25	22

300

150

225

2005200620072008200920102011201220132014201520162017201820192020202111 15 18 18 46 81 126 118 142 212 220 175 244 215 281 288 13

Co-authors

Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security, SaarlandVerified email at cispa.saarland
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Goran DoychevIMDEA Software InstituteVerified email at imdea.org
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Gilles BartheMPI-SPVerified email at mpi-sp.org
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Pepe VilaPhD Student at the IMDEA Software InstituteVerified email at imdea.org
Ulrik BrandesETH Zürich, Social Networks LabVerified email at ethz.ch
Markus DürmuthProfessor for IT Security, Ruhr University BochumVerified email at rub.de
Marco GuarnieriIMDEA Software InstituteVerified email at imdea.org
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Martín OchoaAppGate Inc.Verified email at appgate.com
Jose F. MoralesResearcher at IMDEA Software InstituteVerified email at imdea.org
Dorothea WagnerProfessor of Computer Science, Karlsruhe Institute of Technology (KIT)Verified email at kit.edu
Jürgen lernerDepartment of Comuter & Information Science, University of KonstanzVerified email at uni-konstanz.de
Geoffrey SmithSchool of Computing and Information Sciences, Florida International UniversityVerified email at cis.fiu.edu
Michael BaurFormerly Universität Karlsruhe (TH)Verified email at michaelbaur.de
Pablo CañonesIMDEA SoftwareVerified email at imdea.org
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org

Boris Köpf

Microsoft Research

Verified email at microsoft.com - Homepage

Security Privacy Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An information-theoretic model for adaptive side-channel attacks B Köpf, D Basin 14th ACM Conference on Computer and Communications Security (CCS), 286-296, 2007	406	2007
Automatic discovery and quantification of information leaks M Backes, B Köpf, A Rybalchenko 30th IEEE Symposium on Security and Privacy, 141-153, 2009	232	2009
Cacheaudit: A tool for the static analysis of cache side channels G Doychev, B Köpf, L Mauborgne, J Reineke ACM Transactions on Information and System Security (TISSEC) 18 (1), 1-32, 2015	218	2015
Probabilistic relational reasoning for differential privacy G Barthe, B Köpf, F Olmedo, S Zanella Béguelin ACM SIGPLAN Notices 47 (1), 97-110, 2012	203	2012
A provably secure and efficient countermeasure against timing attacks B Köpf, M Dürmuth IEEE Computer Security Foundations Symposium (CSF), 324-335, 2009	125	2009
Fast and simple horizontal coordinate assignment U Brandes, B Köpf International Symposium on Graph Drawing, 31-44, 2001	115	2001
Automatic quantification of cache side-channels B Köpf, L Mauborgne, M Ochoa International Conference on Computer Aided Verification (CAV), 564-580, 2012	111	2012
Vulnerability bounds and leakage resilience of blinded cryptography under timing attacks B Köpf, G Smith IEEE Computer Security Foundations Symposium (CSF), 44-56, 2010	95	2010
Approximation and randomization for quantitative information-flow analysis B Köpf, A Rybalchenko IEEE Computer Security Foundations Symposium (CSF), 3-14, 2010	87	2010
Information-theoretic bounds for differentially private mechanisms G Barthe, B Kopf IEEE Computer Security Foundations Symposium (CSF), 191-204, 2011	81	2011
Visone Software for visual social network analysis M Baur, M Benkert, U Brandes, S Cornelsen, M Gaertler, B Köpf, J Lerner, ... International Symposium on Graph Drawing, 463-464, 2001	77	2001
Speaker recognition in encrypted voice streams M Backes, G Doychev, M Dürmuth, B Köpf European Symposium on Research in Computer Security (ESORICS), 508-523, 2010	57	2010
Formally bounding the side-channel leakage in unknown-message attacks M Backes, B Köpf European Symposium on Research in Computer Security (ESORICS), 517-532, 2008	55	2008
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. M Backes, G Doychev, B Köpf Network and Distributed Systems Symposium (NDSS), 2013	47	2013
Rigorous analysis of software countermeasures against cache attacks G Doychev, B Köpf ACM Conference on Programming Language Design and Implementation (PLDI), 406-421, 2017	41	2017
Theory and practice of finding eviction sets P Vila, B Köpf, JF Morales 40th IEEE Symposium on Security and Privacy 2019, 2018	40	2018
Loophole: Timing attacks on shared event loops in chrome P Vila, B Köpf 26th USENIX Security Symposium (USENIX Security), 849-864, 2017	38	2017
Spectector: Principled Detection of Speculative Information Flows M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez 41st IEEE Symposium on Security and Privacy, 2020	32*	2020
Transformational typing and unification for automatically correcting insecure programs B Köpf, H Mantel International Journal of Information Security 6 (2-3), 107-131, 2007	32	2007
Leakage resilience against concurrent cache attacks G Barthe, B Köpf, L Mauborgne, M Ochoa International Conference on Principles of Security and Trust, 140-158, 2014	26	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors