✉ Email: g[dot][lastname][at]gmail[dot]com
Github: gdoychev
I am currently at ESG in Germany, where I work on solutions for the vast territory of cyber-security for cars, a topic that is gaining in importance for the car manufacturers.
Between 2012 and 2016 I had the pleasure of doing a Ph.D. at the IMDEA Software Institute and the Technical University of Madrid (UPM), under Boris Köpf. Prior to that I obtained my BSc and MSc degrees in computer science from the Saarland University in Saarbücken, Germany.
My research interests lie in information security, with a focus on theoretical and practical challenges in securing real-world computerized systems. I am mostly interested in the following topics: side-channel attacks and their prevention; quantitative security guarantees; trade-offs between security and system performance; automotive security.
Rigorous Analysis of Software Countermeasures against Cache Attacks [.pdf] [.bib] [website]
joint work with Boris Köpf
38th ACM Conference on Programming Language Design and Implementation (PLDI), 2017
→ This publication supersedes previous versions available at arXiv:1603.02187.
Rational Protection Against Timing Attacks [.pdf] [.bib]
joint work with Boris Köpf
28th IEEE Computer Security Foundations Symposium (CSF), 2015
CacheAudit: A Tool for the Static Analysis of Cache Side Channels [.pdf] [.bib] [website]
joint work with Boris Köpf, Laurent Mauborgne and Jan Reineke
ACM Transactions on Information and System Security (TISSEC), 2015
→ This is a significantly extended version of the USENIX Security Symposium publication listed below.
CacheAudit: A Tool for the Static Analysis of Cache Side Channels [.pdf] [.bib] [website]
joint work with Dominik Feld, Boris Köpf, Laurent Mauborgne and Jan Reineke
22nd USENIX Security Symposium, 2013
→ This publication is superseded by a later ACM TISSEC journal version listed above.
→ An earlier extended version is available at IACR ePrint 2013/253.
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach [.pdf] [.bib]
joint work with Michael Backes and Boris Köpf
20th Network and Distributed Systems Security Symposium (NDSS), 2013
Speaker Recognition in Encrypted Voice Streams [.pdf] [.bib]
joint work with Michael Backes, Markus Dürmuth and Boris Köpf
15th European Symposium on Research in Computer Security (ESORICS), 2010
Tools for the Evaluation and Choice of Countermeasures against Side-Channel Attacks [.pdf] [.bib]
PhD thesis, Technical University of Madrid (UPM), 2016
Analysis and Mitigation of Information Leaks in Web Applications [.pdf]
[.bib]
Master's thesis, Saarland University, 2012
Speaker Recognition in Encrypted Voice Streams [.pdf] [.bib]
Bachelor's thesis, Saarland University, 2009