Autor/in Mantel, Heiko Starostin, Artem 2 Askarov, Aslan 1 Bollmann, Dominik 1 Chong, Stephen 1 Hu, Jinwei 1 Lortz, Steffen 1 Müller-Olm, Markus 1 Perner, Matthias 1 Ruhleder, Sebastian 1 Wenner, Alexander 1 alle zeigenListe einklappen
Enforcing usage constraints on credentials for web applications Hu, Jinwei Mantel, Heiko Ruhleder, Sebastian 2015 - TUHH Open Research
An automatic inference of minimal security types Bollmann, Dominik Lortz, Steffen Mantel, Heiko Starostin, Artem 2015 - TUHH Open Research
Hybrid monitors for concurrent noninterference Askarov, Aslan Chong, Stephen Mantel, Heiko 2015 - TUHH Open Research
Using dynamic pushdown networks to automate a modular information-flow analysis Mantel, Heiko Müller-Olm, Markus Perner, Matthias Wenner, Alexander 2015 - TUHH Open Research