Christoph Egger

christoph.jpg
Christoph Egger
Fürther Str. 246c
Room 11.2.12
90429 Nürnberg

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

Projects

Publications

Daniel Hausmann, Lutz Schröder, and Christoph Egger. Global Caching for the Alternation-free mu-Calculus. In Josée Desharnais and Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory (CONCUR 2016), volume 59 of Leibniz International Proceedings in Informatics (LIPIcs), pages 34:1--34:15, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | .pdf ]

Christoph Egger, Johannes Schlumberger, Christopher Kruegel, and Giovanni Vigna. Research in Attacks, Intrusions, and Defenses: 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings, chapter Practical Attacks against the I2P Network, pages 432--451. Springer Berlin Heidelberg, Berlin, Heidelberg, 2013. [ bib | DOI | .pdf ]

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, and Julio Sincero. Configuration coverage in the analysis of large-scale system software. SIGOPS Oper. Syst. Rev. (ACM OSR), 45(3):10--14, 2012. [ bib | DOI | .pdf ]

Julio Sincero, Reinhard Tartler, Christoph Egger, Wolfgang Schröder-Preikschat, and Daniel Lohmann. Facing the Linux 8000 Feature Nightmare. In ACM SIGOPS, editor, Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session, 2010. [ bib | .pdf ]

Talks

Thesis