2 Einträge gefunden

1. A uniform Information-flow security benchmark suite for source code and bytecode

   1. Hamann, Tobias
   2. Herda, Mihai
   3. Mantel, Heiko
   4. Mohr, Martin
   5. Schneider, David
   6. Tasch, Markus

   2018 - TUHH Open Research
2. Taming message-passing communication in compositional reasoning about confidentiality

   1. Li, Ximeng
   2. Mantel, Heiko
   3. Tasch, Markus

   2017 - TUHH Open Research