Henning Sudbrock

	2008
3		Heiko Mantel, Henning Sudbrock: Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. Formal Aspects in Security and Trust 2008: 67-81
	2007
2		Heiko Mantel, Henning Sudbrock: Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. CSF 2007: 326-340
	2006
1		Heiko Mantel, Henning Sudbrock, Tina Kraußer: Combining Different Proof Techniques for Verifying Information Flow Security. LOPSTR 2006: 94-110

Coauthor Index

1	Tina Kraußer	[1]
2	Heiko Mantel	[1] [2] [3]