Dr. Henning Sudbrock
This is the former webpage of Dr. Henning Sudbrock.
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:
These documents have been provided by the contributing authors as a means
to ensure timely dissemination of scholarly and technical work on a noncommercial basis.
Copyright and all rights therein are retained by authors or by other copyright holders.
All persons copying this information are expected to adhere to the terms and constraints
invoked by each author's copyright. These works may not be reposted without the explicit
permission of the copyright holder.
2018
- Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. In Archive of Formal Proofs, 2018.
[ BibTeX entry ] - Sylvia Grewe, Heiko Mantel, Markus Tasch, Richard Gay and Henning Sudbrock. I-MAKS A Framework for Information-Flow Security in Isabelle/HOL. TU Darmstadt, Technical Report TUD-CS-2018-0056, 2018.
[ BibTeX entry | PDF ]
2015
- Richard Gay, Heiko Mantel and Henning Sudbrock. An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. In International Journal of Secure Software Engineering (IJSSE), 6(2), pages 1-22, 2015.
[ BibTeX entry ]
2013
- Richard Gay, Heiko Mantel and Henning Sudbrock. An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. In Proceedings of the 2nd International Workshop on Quantitative Aspects in Security Assurance (QASA), 2013.
[ BibTeX entry | PDF ] - Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Post-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2012). LNCS 7844, pages 106-121. Springer, 2013.
[ BibTeX entry | PDF | Addendum ] - Henning Sudbrock. Compositional and Scheduler-Independent Information Flow Security. Ph.D. Thesis, Technische Universität Darmstadt, 2013.
[ BibTeX entry | PDF ]
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 ] - Martin Ochoa, Sebastian Pape, Thomas Ruhroth, Barbara Sprick, Kurt Stenzel and Henning Sudbrock. Report on the RS3 Topic Workshop ``Security Properties in Software Engineering''. Universität Augsburg, Technical Report 2012-02, 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 15th 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. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Post-Proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008). LNCS 5491, pages 67-81. Springer, 2009.
[ BibTeX entry | PDF | Appendix ] - Heiko Mantel and Henning Sudbrock. Increasing the Precision of the Combining Calculus (Extended Abstract). In Proceedings of the 5th International Workshop on Programming Language Interference and Dependence (PLID), 2009.
[ BibTeX entry ]
2008
- Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Pre-Proceedings of the 5th Workshop on Formal Aspects in Security and Trust (FAST 2008), 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. TU Darmstadt, Technical Report TUD-CS-2008-1103, 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 Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF), pages 326-340. IEEE Computer Society, 2007.
[ Abstract | BibTeX entry | PDF ] - Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In Post-Proceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2006). LNCS, 4407, pages 94-110. 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 Pre-Proceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2006), pages 85-101, 2006.
[ Abstract | BibTeX entry | PDF | zipped Postscript ]
19 hits found
BibTeX file of all entries
BibTeX file of all entries
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)
Print
Imprint
Sitemap
Contact