Office: S2|02 E321 Phone: +49 6151 16-6216 Fax: +49 6151 16-5326 Mail: sudbrockmais.informatik.tu-darmstadt.de Office Hour: Contact me via e-mail for an appointment

TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany

After graduating in mathematics at the TU Darmstadt I joined the Security Engineering Group of Prof. Heiko Mantel at RWTH Aachen University. The group moved to the TU Darmstadt in 2007 and is by now known by the name "Modeling and Analysis of Information Systems".

My research interests are:

• Language-based Security; Static security analysis
• Security Engineering
• Covert Channel Analysis and Mitigation

Publications:

2013

• Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012. LNCS 7844, pages 106-121. Springer, 2013.
  To appear.
  [ BibTeX entry | PDF | Addendum ]

2012

• Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Pre-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012, 2012.
  [ BibTeX entry ]

2011

• Heiko Mantel, David Sands and Henning Sudbrock. Assumptions and Guarantees for Compositional Noninterference. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), pages 218-232. IEEE Computer Society, 2011.
  [ BibTeX entry | PDF | Proofs and Addendum ]

2010

• Markus Aderhold, Jorge Cuéllar, Heiko Mantel and Henning Sudbrock. Exemplary Formalization of Secure Coding Guidelines. TU Darmstadt, Technical Report TUD-CS-2010-0060, 2010.
  [ BibTeX entry | PDF ]
• Heiko Mantel and Henning Sudbrock. Flexible Scheduler-independent Security. In Proceedings of the European Symposium on Research in Computer Security (ESORICS). LNCS 6345, pages 116-133. Springer, 2010.
  [ BibTeX entry | PDF | Proofs of Theorems ]

2009

• Heiko Mantel and Henning Sudbrock. Increasing the Precision of the Combining Calculus (Extended Abstract). In 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ), 2009.
  [ BibTeX entry ]
• Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008. Springer, LNCS 5491, pages 67-81, 2009.
  [ BibTeX entry | PDF | Appendix ]

2008

• Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Pre-Proceedings of the Workshop on Formal Aspects in Security and Trust (FAST), pages 67-81, 2008.
  [ BibTeX entry | PDF ]
• H. Gregor Molter, Hui Shao, Henning Sudbrock, Sorin. A. Huss and Heiko Mantel. Designing a Coprocessor for Interrupt Handling on an FPGA. TUD-CS-2008-1103 (TU Darmstadt), 2008.
  [ BibTeX entry | PDF ]

2007

• Tina Kraußer, Heiko Mantel and Henning Sudbrock. A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption. RWTH Aachen, Technical Report 2007-09, 2007.
  [ BibTeX entry ]
• Heiko Mantel and Henning Sudbrock. Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, pages 326-340. IEEE Computer Society Press, 2007.
  [ Abstract | BibTeX entry | PDF ]
• Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006. LNCS, 4407. Springer, 2007.
  [ Abstract | BibTeX entry | PDF ]

2006

• Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, pages 85-101. Raporta di Ricerca CS-2006-5, Università Ca'\ Foscari Di Venezia, 2006.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]

Unpublished Appendices / proofs:

• Appendix to the article "Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels" by Heiko Mantel and Henning Sudbrock (appeared at FAST 2008)
  
• Proofs for theorems in the article "Flexible Scheduler-Independent Security" by Heiko Mantel and Henning Sudbrock (to appear at ESORICS 2010)

• RS³ Best Paper Award (Theory) 2010/2011 (for the paper "Assumptions and Guarantees for Compositional Noninterference" by Heiko Mantel, David Sands, and Henning Sudbrock, which appeared at CSF 2011, for Bibtex entry see above)

Supervised Students:

• Oliver Bracevac: "Verhaltensintegrität von Programmen unter nebenläufigen Dateisystemzugriffen" (Bachelor Thesis)
• Richard Gay: "Interrupt-related Covert Channels from an Attacker's Perspective" (Diploma Thesis) 
• Sylvia Grüner: "Formale Spezifikation von Sicherheitsanforderungen mit MAKS in Isabelle/HOL" (Bachelor Thesis)
• Tobias Plötz: "Vertraulichkeit von Werten im Modular Assembly Kit for Security" (Bachelor Thesis)