Goran Doychev

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Static Analysis

Symbolic Execution

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Goran Doychev, Boris Köpf
Rigorous analysis of software countermeasures against cache attacks. PLDI (2017)
Goran Doychev, Boris Köpf
Rigorous Analysis of Software Countermeasures against Cache Attacks. CoRR (2016)
Goran Doychev, Boris Köpf
Rational Protection against Timing Attacks. CSF (2015)
Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Michael Backes, Goran Doychev, Boris Köpf
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. NDSS (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. USENIX Security Symposium (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. IACR Cryptol. ePrint Arch. 2013 (2013)
Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf
Speaker Recognition in Encrypted Voice Streams. ESORICS (2010)