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
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 ]