Henning Sudbrock

According to our database, Henning Sudbrock authored at least 9 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch

Arch. Formal Proofs, 2018

2015

An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.

Richard Gay, Heiko Mantel, Henning Sudbrock

Int. J. Secur. Softw. Eng., 2015

2013

Compositional and Scheduler-Independent information flow security.

Henning Sudbrock

PhD thesis, 2013

2012

Types vs. PDGs in Information Flow Analysis.

Heiko Mantel, Henning Sudbrock

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Assumptions and Guarantees for Compositional Noninterference.

Heiko Mantel, David Sands, Henning Sudbrock

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Flexible Scheduler-Independent Security.

Heiko Mantel, Henning Sudbrock

Proceedings of the Computer Security, 2010

2008

Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.

Heiko Mantel, Henning Sudbrock

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.

Heiko Mantel, Henning Sudbrock

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Combining Different Proof Techniques for Verifying Information Flow Security.

Heiko Mantel, Henning Sudbrock, Tina Kraußer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006