6 Einträge gefunden

1. Types vs. PDGs in information flow analysis

   1. Mantel, Heiko
   2. Sudbrock, Henning

   2013 - TUHH Open Research
2. Assumptions and guarantees for compositional noninterference

   1. Mantel, Heiko
   2. Sands, David
   3. Sudbrock, Henning

   2011 - TUHH Open Research
3. Flexible scheduler-independent security

   1. Mantel, Heiko
   2. Sudbrock, Henning

   2010 - TUHH Open Research
4. Information-theoretic modeling and analysis of interrupt-related covert channels

   1. Mantel, Heiko
   2. Sudbrock, Henning

   2008 - TUHH Open Research
5. Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework

   1. Mantel, Heiko
   2. Sudbrock, Henning

   2007 - TUHH Open Research
6. Combining different proof techniques for verifying information flow security

   1. Mantel, Heiko
   2. Sudbrock, Henning
   3. Kraußer, Tina

   2006 - TUHH Open Research