christoph.bib

@article{Tartler2012,
  author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and {\textbf{Christoph Egger}} and Julio Sincero},
  bibsource = {UnivIS, http://univis.uni-erlangen.de/prg?search=publications&id=91204523&show=elong},
  doi = {10.1145/2094091.2094095},
  journaltitle = {SIGOPS Oper. Syst. Rev. (ACM OSR)},
  journal = {Operating Systems Review},
  keywords = {VAMOS,Configurability, System Software, Software Engineering, Maintenance},
  number = {3},
  pages = {10--14},
  title = {{Configuration coverage in the analysis of large-scale system software}},
  url = {http://www4.cs.fau.de/Publications/2012/tartler_12_osr.pdf},
  volume = {45},
  year = {2011}
}
@inproceedings{Sincero2010,
  author = {Julio Sincero and Reinhard Tartler and {\textbf{Christoph Egger}} and Wolfgang Schröder-Preikschat and Daniel Lohmann},
  bibsource = {UnivIS, http://univis.uni-erlangen.de/prg?search=publications&id=91090301&show=elong},
  booktitle = {{Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session}},
  editor = {ACM SIGOPS},
  keywords = {VAMOS,Configurability, System Software, Software Engineering, Maintenance},
  location = {Paris, France},
  title = {{Facing the Linux 8000 Feature Nightmare}},
  url = {http://www4.informatik.uni-erlangen.de/Publications/2010/sincero_tartler_eurosys-life.pdf},
  year = {2010}
}
@inbook{Egger2013,
  author = {{\textbf{Christoph Egger}} and Schlumberger, Johannes and Kruegel, Christopher and Vigna, Giovanni},
  chapter = {Practical Attacks against the I2P Network},
  doi = {10.1007/978-3-642-41284-4_22},
  editor = {Stolfo, Salvatore J. and Stavrou, Angelos and Wright, Charles V.},
  isbn = {978-3-642-41284-4},
  location = {Berlin, Heidelberg},
  pages = {432--451},
  publisher = {Springer Berlin Heidelberg},
  title = {Research in Attacks, Intrusions, and Defenses: 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings},
  url = {http://wwwcip.cs.fau.de/~spjsschl/i2p.pdf},
  year = {2013}
}
@inproceedings{hausmann_et_al:LIPIcs:2016:6172,
  annotation = {Keywords: modal logic, fixpoint logic, satisfiability, global caching, coalgebraic logic},
  author = {Daniel Hausmann and Lutz Schröder and {\textbf{Christoph Egger}}},
  booktitle = {27th International Conference on Concurrency Theory ({CONCUR} 2016)},
  doi = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.34},
  editor = {Josée Desharnais and Radha Jagadeesan},
  isbn = {978-3-95977-017-0},
  issn = {1868-8969},
  location = {Dagstuhl, Germany},
  pages = {34:1--34:15},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  title = {{Global Caching for the Alternation-free {$\mu$}-Calculus}},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6172/pdf/LIPIcs-CONCUR-2016-34.pdf},
  urn = {urn:nbn:de:0030-drops-61724},
  volume = {59},
  year = {2016}
}
@inproceedings{203692,
  author = {Russell W. F. Lai and {\textbf{Christoph Egger}} and Dominique Schröder and Sherman S. M. Chow},
  booktitle = {26th {USENIX} Security Symposium ({USENIX} Security 17)},
  isbn = {978-1-931971-40-9},
  location = {Vancouver, BC},
  pages = {899--916},
  publisher = {USENIX Association},
  title = {Phoenix: Rebirth of a Cryptographic Password-Hardening Service},
  url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/lai},
  year = {2017}
}
@inproceedings{217610,
  author = {Russell W. F. Lai and {\textbf{Christoph Egger}} and Manuel Reinert and Sherman S. M. Chow and Matteo Maffei and Dominique Schröder},
  booktitle = {27th {USENIX} Security Symposium ({USENIX} Security 18)},
  isbn = {978-1-931971-46-1},
  location = {Baltimore, MD},
  pages = {1405--1421},
  publisher = {{USENIX} Association},
  title = {Simple Password-Hardened Encryption Services},
  url = {https://www.usenix.org/conference/usenixsecurity18/presentation/lai},
  year = {2018}
}
@article{metis,
  author = {Dominic Deuber and {\textbf{Christoph Egger}} and Katharina Fech and Giulio Malavolta and Dominique Schröder and Sri Aravinda Krishnan Thyagarajan and Florian Battke and Claudia Durand},
  doi = {10.2478/popets-2019-0007},
  journaltitle = {Proceedings on Privacy Enhancing Technologies},
  number = {1},
  journal = {PoPETs},
  pages = {108--132},
  title = {My Genome Belongs to Me: Controlling Third Party Computation on Genomic Data},
  url = {https://www.petsymposium.org/2019/files/papers/issue1/popets-2019-0007.pdf},
  volume = {2019},
  year = {2019}
}
@inproceedings{DBLP:conf/ccs/0001MM19,
  author = {{\textbf{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 = {Fri, 08 Nov 2019 12:58:49 +0100},
  biburl = {https://dblp.org/rec/bib/conf/ccs/0001MM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/0001MM20,
  author = {Julian Brost and
              {\textbf{Christoph Egger}} and
              Russell Lai and
              Fritz Schmid and
              Dominique Schröder and
              Markus Zoppelt},
  title = {Threshold Password-Hardened Encryption Services},
  booktitle = {Proceedings of the 2020 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2020, Orlando, USA, November 09-13, 2020.},
  publisher = {{ACM}},
  year = {2020}
}