3 Einträge gefunden

1. Using dynamic pushdown networks to automate a modular information-flow analysis

   1. Mantel, Heiko
   2. Müller-Olm, Markus
   3. Perner, Matthias
   4. Wenner, Alexander

   2015 - TUHH Open Research
2. Noninterference under weak memory models

   1. Mantel, Heiko
   2. Perner, Matthias
   3. Sauer, Jens

   2014 - TUHH Open Research
3. Scheduler-independent declassification

   1. Lux, Alexander
   2. Mantel, Heiko
   3. Perner, Matthias

   2012 - TUHH Open Research