Christoph Egger
Christoph Egger Lehrstuhl für angewandte Kryptographie Fürther Str. 246c / Eingang 5 90429 Nurnberg Email: Christoph.Egger@fau.de Jabber: christoph@egger.im PGP
9FED 5C6C E206 B70A 5857 70CA 9655 22B9 D49A E731 3C1F 32FB E637 85F2 4461 4AD2 53C2 B1F9 83C5 BAA3
About Me
I am a senior PhD Student in Cryptography. As a master student I worked on Modal Logic and Category Theory and as a Bachelor Student on Anonymous Communication and Software Product Lines. I am also a founding member of the FAUST CTF team and its own competition, FAUST-CTF. Finally I am a Free Software person. I have been a Debian Developer for more than 10 years and have contributed to a variety of software projects including the Linux kernel and the Git version control system.
Research Interests
My current research focus is on cryptographic proofs: Composability (both in the classical Universal Composability interpretation as well as composition and modularization of proofs) and extending security from cryptographic primitives towards their concrete use (for example concerning Ring Signatures and Steganography).
I am also interested in computational notions of entropy, the limits of black box techniques (and related fields like oracle separations) as well as fine-grained and bounded-space cryptography.
In the past I have worked, among other things, on System Software Engineering and Software Product Lines, Coalgebraic Modal Logic and Anonymity Networks.
Free Software
I am a Debian Developer since December 2009, my first contributions go back to 2016. From roughly 2010 to 2016 I have been a core member of the kFreeBSD team supporting this rather unusual combination of BSD and GNU components. Additionally, many small contributuions to different Free Software projects are the result of my Debian work. I have initiated the internationalization effort of Unknown Horizons originaly implementing its multi-language support. As a research assistant in the VAMOS research project I contributed more than 50 changes to the Linux Kernel. I also added public key pinning support to the Git version control system.
Internships & Research Visits
- Aug. 2020 - Nov. 2020: Aalto University working with Christopher Brzuska on State Separation Proofs
- Sept. 2018 - Dec. 2018: TU Wien Security and Privacy Group, working with Matteo Maffei and Pedro Moreno-Sanchez on payment channel networks
- Sept. 2012 - Feb. 2013: UCSB seclab, working with Christopher Kruegel and Giovanni Vigna on the systematic analysis of the I2P anonymity system
Comunity Service
- 2020, 2021: External Reviewer for Proceedings on Privacy Enhancing Technologies
- 2018: External Reviewer for IEEE Transactions on Information Forensics & Security
- 2021: External Reviewer for ACM Transactions on Privacy and Security
- Subreviewer on multiple ocasions including Crypto('19, '20. '21) and CCS'19, S&P'21
Publications
Key-schedule Security for the TLS 1.3 Standard
In: IACR Cryptol. ePrint Arch. 2021(467)
@article{DBLP:journals/iacr/BrzuskaDEFKK21,
author = {Chris Brzuska and
Antoine Delignat{-}Lavaud and
Christoph Egger and
C{\'{e}}dric Fournet and
Konrad Kohbrok and
Markulf Kohlweiss},
title = {Key-schedule Security for the {TLS} 1.3 Standard},
journal = {{IACR} Cryptol. ePrint Arch.},
volume = {2021},
pages = {467},
year = {2021},
url = {https://eprint.iacr.org/2021/467},
timestamp = {Fri, 23 Apr 2021 12:06:25 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BrzuskaDEFKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
A Security Framework for Distributed Ledgers
In: IACR Cryptol. ePrint Arch. 2021(145)
@article{DBLP:journals/iacr/EggerGKRRS21,
author = {Christoph Egger and
Mike Graf and
Ralf K{\"{u}}sters and
Daniel Rausch and
Viktoria Ronge and
Dominique Schr{\"{o}}der},
title = {A Security Framework for Distributed Ledgers},
journal = {{IACR} Cryptol. ePrint Arch.},
volume = {2021},
pages = {145},
year = {2021},
url = {https://eprint.iacr.org/2021/145},
timestamp = {Tue, 02 Mar 2021 23:07:15 +0100},
biburl = {https://dblp.org/rec/journals/iacr/EggerGKRRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
The Patient as Genomic Data Manager - Evaluation of the PROMISE
App
In: Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28 - May 1, 2020
@inproceedings{DBLP:conf/mie/GriebelHAMSD0KK20,
author = {Lena Griebel and
Marc Hinderer and
Ali Amr and
Benjamin Meder and
Marc Schweig and
Dominic Deuber and
Christoph Egger and
Claudia Kawohl and
Annika Kr{\"{a}}mer and
Isabell Flade and
Dominique Schr{\"{o}}der and
Hans{-}Ulrich Prokosch},
editor = {Louise Bilenberg Pape{-}Haugaard and
Christian Lovis and
Inge Cort Madsen and
Patrick Weber and
Per Hostrup Nielsen and
Philip Scott},
title = {The Patient as Genomic Data Manager - Evaluation of the {PROMISE}
App},
booktitle = {Digital Personalized Health and Medicine - Proceedings of {MIE} 2020,
Medical Informatics Europe, Geneva, Switzerland, April 28 - May 1,
2020},
series = {Studies in Health Technology and Informatics},
volume = {270},
pages = {1061--1065},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SHTI200324},
doi = {10.3233/SHTI200324},
timestamp = {Wed, 03 Feb 2021 08:36:36 +0100},
biburl = {https://dblp.org/rec/conf/mie/GriebelHAMSD0KK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Threshold Password-Hardened Encryption Services
In: CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020
@inproceedings{DBLP:conf/ccs/Brost0LSSZ20,
author = {Julian Brost and
Christoph Egger and
Russell W. F. Lai and
Fritz Schmid and
Dominique Schr{\"{o}}der and
Markus Zoppelt},
editor = {Jay Ligatti and
Xinming Ou and
Jonathan Katz and
Giovanni Vigna},
title = {Threshold Password-Hardened Encryption Services},
booktitle = {{CCS} '20: 2020 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, USA, November 9-13, 2020},
pages = {409--424},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372297.3417266},
doi = {10.1145/3372297.3417266},
timestamp = {Fri, 09 Apr 2021 18:39:46 +0200},
biburl = {https://dblp.org/rec/conf/ccs/Brost0LSSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible
Payment-Channel Networks
In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019.
@inproceedings{DBLP:conf/ccs/0001MM19,
author = {Christoph Egger and
Pedro Moreno{-}Sanchez and
Matteo Maffei},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
XiaoFeng Wang and
Jonathan Katz},
title = {Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible
Payment-Channel Networks},
booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
pages = {801--815},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319535.3345666},
doi = {10.1145/3319535.3345666},
timestamp = {Tue, 10 Nov 2020 20:00:36 +0100},
biburl = {https://dblp.org/rec/conf/ccs/0001MM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
My Genome Belongs to Me: Controlling Third Party Computation on Genomic
Data
In: Proc. Priv. Enhancing Technol. 2019(1)
@article{DBLP:journals/popets/DeuberEFMSTBD19,
author = {Dominic Deuber and
Christoph Egger and
Katharina Fech and
Giulio Malavolta and
Dominique Schr{\"{o}}der and
Sri Aravinda Krishnan Thyagarajan and
Florian Battke and
Claudia Durand},
title = {My Genome Belongs to Me: Controlling Third Party Computation on Genomic
Data},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2019},
number = {1},
pages = {108--132},
year = {2019},
url = {https://doi.org/10.2478/popets-2019-0007},
doi = {10.2478/popets-2019-0007},
timestamp = {Tue, 01 Sep 2020 13:13:12 +0200},
biburl = {https://dblp.org/rec/journals/popets/DeuberEFMSTBD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Simple Password-Hardened Encryption Services
In: 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018
@inproceedings{DBLP:conf/uss/Lai0RCMS18,
author = {Russell W. F. Lai and
Christoph Egger and
Manuel Reinert and
Sherman S. M. Chow and
Matteo Maffei and
Dominique Schr{\"{o}}der},
editor = {William Enck and
Adrienne Porter Felt},
title = {Simple Password-Hardened Encryption Services},
booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
MD, USA, August 15-17, 2018},
pages = {1405--1421},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/usenixsecurity18/presentation/lai},
timestamp = {Mon, 01 Feb 2021 08:43:20 +0100},
biburl = {https://dblp.org/rec/conf/uss/Lai0RCMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Phoenix: Rebirth of a Cryptographic Password-Hardening Service
In: 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017
@inproceedings{DBLP:conf/uss/Lai0SC17,
author = {Russell W. F. Lai and
Christoph Egger and
Dominique Schr{\"{o}}der and
Sherman S. M. Chow},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {Phoenix: Rebirth of a Cryptographic Password-Hardening Service},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {899--916},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/lai},
timestamp = {Mon, 01 Feb 2021 08:43:05 +0100},
biburl = {https://dblp.org/rec/conf/uss/Lai0SC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Global Caching for the Alternation-free \(μ\)-Calculus
In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada
@inproceedings{DBLP:conf/concur/HausmannSE16,
author = {Daniel Hausmann and
Lutz Schr{\"{o}}der and
Christoph Egger},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Global Caching for the Alternation-free {\(\mu\)}-Calculus},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {34:1--34:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.34},
doi = {10.4230/LIPIcs.CONCUR.2016.34},
timestamp = {Mon, 24 Feb 2020 15:00:26 +0100},
biburl = {https://dblp.org/rec/conf/concur/HausmannSE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Practical Attacks against the I2P Network
In: Research in Attacks, Intrusions, and Defenses - 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings
@inproceedings{DBLP:conf/raid/EggerSKV13,
author = {Christoph Egger and
Johannes Schlumberger and
Christopher Kruegel and
Giovanni Vigna},
editor = {Salvatore J. Stolfo and
Angelos Stavrou and
Charles V. Wright},
title = {Practical Attacks against the {I2P} Network},
booktitle = {Research in Attacks, Intrusions, and Defenses - 16th International
Symposium, {RAID} 2013, Rodney Bay, St. Lucia, October 23-25, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8145},
pages = {432--451},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41284-4\_22},
doi = {10.1007/978-3-642-41284-4\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/EggerSKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Facing the Linux 8000 Feature Nightmare
In: Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session
[PDF]
Configuration coverage in the analysis of large-scale system software
In: ACM SIGOPS Oper. Syst. Rev. 45(3)
@article{DBLP:journals/sigops/TartlerLDES11,
author = {Reinhard Tartler and
Daniel Lohmann and
Christian Dietrich and
Christoph Egger and
Julio Sincero},
title = {Configuration coverage in the analysis of large-scale system software},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {45},
number = {3},
pages = {10--14},
year = {2011},
url = {https://doi.org/10.1145/2094091.2094095},
doi = {10.1145/2094091.2094095},
timestamp = {Mon, 26 Oct 2020 08:24:58 +0100},
biburl = {https://dblp.org/rec/journals/sigops/TartlerLDES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Thesis
Student Theses
- Julian Brost: "Threshold Password-Hardened Encryption" (FAU Master Thesis; with Dominique Schröder, Russell Lai)
- Kirthivaasan Puniamurthy: "A proof viewer for State-separating proofs" (Aalto Master Thesis; with Christopher Brzuska, Konrad Kohbrok, Sabine Oechsner)
Talks
FAUST Workshop Crypto Hacking
FAUST Workshop, GPN18, ICMP9
BGP und OSPF – wie das Internet funktioniert
frida – a Free Software Interactive Disassembler
DNSSEC
Debian -- jetzt auch ohne Linux