3 Einträge gefunden

1. An automatic inference of minimal security types

   1. Bollmann, Dominik
   2. Lortz, Steffen
   3. Mantel, Heiko
   4. Starostin, Artem

   2015 - TUHH Open Research
2. Transforming out timing leaks, more or less

   1. Mantel, Heiko
   2. Starostin, Artem

   2015 - TUHH Open Research
3. Cassandra: Towards a certifying app store for android

   1. Lortz, Steffen
   2. Mantel, Heiko
   3. Starostin, Artem
   4. Bähr, Timo
   5. Schneider, David
   6. Weber, Alexandra

   2014 - TUHH Open Research