TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 23.

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018)
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018
Article, Bibliographie

Gay, Richard ; Mantel, Heiko ; Sudbrock, Henning (2013)
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Sudbrock, Henning (2013)
Compositional and Scheduler-Independent Information Flow Security.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mantel, Heiko ; Sudbrock, Henning (2013)
Types vs. PDGs in Information Flow Analysis.
In: Lecture Notes in Computer Science, (7844)
Article, Bibliographie

Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011)
Assumptions and Guarantees for Compositional Noninterference.
Conference or Workshop Item, Bibliographie

Aderhold, Markus ; Cuéllar, Jorge ; Mantel, Heiko ; Sudbrock, Henning (2010)
Exemplary Formalization of Secure Coding Guidelines.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2010)
Flexible Scheduler-independent Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2009)
Increasing the Precision of the Combining Calculus (Extended Abstract).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning
eds.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Molter, Gregor ; Shao, Hui ; Sudbrock, Henning ; Huss, Sorin ; Mantel, Heiko (2008)
Designing a Coprocessor for Interrupt Handling on an FPGA.
Report, Bibliographie

Molter, Hans Gregor ; Shao, Hui ; Sudbrock, Henning ; Huss, Sorin A. ; Mantel, Heiko (2008)
Designing a Coprocessor for Interrupt Handling on an FPGA.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2008)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2008)
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
Conference or Workshop Item, Bibliographie

Kraußer, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
ed.: Puebla, Germán (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning (2007)
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.
Conference or Workshop Item, Bibliographie

Krausser, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
ed.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
ed.: Puebla, Germán (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Feb 27 01:41:39 2024 CET.