Main | Publications | Teaching | Events
Boris Köpf
Past Advisees
- Marco Guarnieri, Postdoctoral researcher, 2018-2019.
- Pepe Vila. Learning Secrets and Models from Execution Time. PhD thesis, UPM, 2020. UPM outstanding thesis award.
- Pablo Cañones. Security Analysis of Cache Algorithms. PhD thesis, UPM, 2019.
- Goran Doychev: Tools for the Evaluation and Choice of Countermeasures against Side-channel Attacks. Ph.D. thesis, UPM, 2016. UPM outstanding thesis award.
- Paloma Pedregal Helft: Microarchitecture Simulation for Security. M.Sc. thesis UPM, 2018.
- Dominik Feld: Relational Domains for the Quantification of Cache Side Channels. M.Sc. thesis, Saarland University, 2013
- Goran Doychev: Analysis and Mitigation of Information Leaks in Web Browsing Traffic. M.Sc. thesis, Saarland University, 2012
- Dominik Feld: Anonymity in Online Polls. B.Sc. thesis, Saarland University, 2009
- Rajiv Lund: Formal Analysis of Mastermind. B.Sc. thesis, Saarland University, 2009
- Goran Doychev: Speaker Recognition in Encrypted Voice Streams. B.Sc. thesis, Saarland University, 2009
- Christian Schunck: Computing Information-theoretic Bounds for Unknown-message Side-channel Attacks. B.Sc. thesis, Saarland University, 2008
- Yves Geissbühler: Quantifying Information Leaks. Semester thesis, ETH Zurich, 2007
- Audrey Lim: Detecting Timing Leaks in Hardware. Semester thesis, ETH Zurich, 2006
- Martin Bättig: Visualization of Information Leaks. Semester thesis, ETH Zurich, 2005
- Christina Pöpper: A Security Analyzer for Multi-Threaded Programs. M.Sc. thesis, ETH Zurich, 2005
Courses
- Lecture: Computer Security (UPM, Fall 2018)
- Lecture: Computer Security (UPM, Fall 2017)
- Lecture: Computer Security (UPM, Fall 2016)
- Security Reading Group (IMDEA Software/UPM, Fall 2012)
- Security Reading Group (IMDEA Software/UPM, Spring 2012)
- Security Reading Group (IMDEA Software/UPM, Fall 2011)
- Seminar Selected Topics of Information Security and Cryptography (Saarland University, Fall 2008)
- co-coordinator and TA for Formal Methods and Functional Programming (ETH Zurich, Summer 2007)
- TA for Information Theory (ETH Zurich, Fall 2006)
- TA for Informatik (ETH Zurich, Fall 2005)
- co-coordinator and TA for Formal Methods and Functional Programming (ETH Zurich, Summer 2005)
- co-coordinator and TA for Theory of Computation (ETH Zurich, Summer 2004)
- co-coordinator and TA for Informatik 3 (ETH Zurich, Fall 2003)
- TA for Theory of Computation (ETH Zurich, Summer 2003)
- TA for Linear Algebra (University of Konstanz, Fall 2001)