Henning Sudbrock

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Cryptographic Protocols

Logical Framework

Top Venues

Int. J. Secur. Softw. Eng.

Arch. Formal Proofs

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Arch. Formal Proofs 2018 (2018)
Richard Gay, Heiko Mantel, Henning Sudbrock
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels. Int. J. Secur. Softw. Eng. 6 (2) (2015)
Heiko Mantel, Henning Sudbrock
Types vs. PDGs in Information Flow Analysis. LOPSTR (2012)
Heiko Mantel, David Sands, Henning Sudbrock
Assumptions and Guarantees for Compositional Noninterference. CSF (2011)
Heiko Mantel, Henning Sudbrock
Flexible Scheduler-Independent Security. ESORICS (2010)
Heiko Mantel, Henning Sudbrock
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust (2008)
Heiko Mantel, Henning Sudbrock
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF (2007)
Heiko Mantel, Henning Sudbrock, Tina Kraußer
Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR (2006)