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 and Gay, Richard and Grewe, Sylvia and Mantel, Heiko and Sudbrock, Henning and Tasch, Markus (2018):
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018, [Article]

Gay, Richard and Mantel, Heiko and Sudbrock, Henning (2013):
An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels.
In: 2nd International Workshop on Quantitative Aspects in Security Assurance, [Online-Edition: https://www.iit.cnr.it/qasa2013/],
[Conference or Workshop Item]

Sudbrock, Henning (2013):
Compositional and Scheduler-Independent Information Flow Security.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3884],
[Ph.D. Thesis]

Mantel, Heiko and Sudbrock, Henning (2013):
Types vs. PDGs in Information Flow Analysis.
In: Lecture Notes in Computer Science, pp. 106-121, (7844), [Article]

Mantel, Heiko and Sands, David and Sudbrock, Henning (2011):
Assumptions and Guarantees for Compositional Noninterference.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, [Conference or Workshop Item]

Aderhold, Markus and Cuéllar, Jorge and Mantel, Heiko and Sudbrock, Henning (2010):
Exemplary Formalization of Secure Coding Guidelines.
Germany, In: aderhold.ea:exemplary:2010a, [Report]

Mantel, Heiko and Sudbrock, Henning (2010):
Flexible Scheduler-independent Security.
In: European Symposium on Research in Computer Security (ESORICS), Springer, In: LNCS 6345, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning (2009):
Increasing the Precision of the Combining Calculus (Extended Abstract).
In: 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ), [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning (2009):
Increasing the Precision of the Combining Calculus (Extended Abstract).
In: 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ), [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning
Degano, P. and Guttman, J. and Martinelli, F. (eds.) (2009):
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
In: Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008, In: Springer, LNCS 5491, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning
Degano, P. and Guttman, J. and Martinelli, F. (eds.) (2009):
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
In: Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008, In: Springer, LNCS 5491, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning
Degano, P. and Guttman, J. and Martinelli, F. (eds.) (2009):
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
In: Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008, In: Springer, LNCS 5491, [Conference or Workshop Item]

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

Molter, Hans Gregor and Shao, Hui and Sudbrock, Henning and Huss, Sorin A. and Mantel, Heiko (2008):
Designing a Coprocessor for Interrupt Handling on an FPGA.
In: molter.ea:designing:2008a, [Report]

Mantel, Heiko and Sudbrock, Henning (2008):
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
In: Pre-Proceedings of the Workshop on Formal Aspects in Security and Trust (FAST), [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning (2008):
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels.
In: Pre-Proceedings of the Workshop on Formal Aspects in Security and Trust (FAST), [Conference or Workshop Item]

Kraußer, Tina and Mantel, Heiko and Sudbrock, Henning (2007):
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
In: krauer.ea:probabilistic:2007a, [Report]

Mantel, Heiko and Sudbrock, Henning and Krausser, Tina
Puebla, Germán (ed.) (2007):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, Springer, In: LNCS, 4407, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning and Kraußer, Tina
Puebla, German (ed.) (2007):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, Springer, In: LNCS, 4407, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning (2007):
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.
In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, IEEE Computer Society Press, [Conference or Workshop Item]

Krausser, Tina and Mantel, Heiko and Sudbrock, Henning (2007):
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
(2007-09), [Report]

Mantel, Heiko and Sudbrock, Henning and Kraußer, Tina
Puebla, German (ed.) (2006):
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, Venice, Italy, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]

Mantel, Heiko and Sudbrock, Henning and Krausser, Tina
Puebla, Germán (ed.) (2006):
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, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]

This list was generated on Sat Jun 22 01:54:27 2019 CEST.