Autor/in Mantel, Heiko Perner, Matthias Lux, Alexander 1 Müller-Olm, Markus 1 Sauer, Jens 1 Wenner, Alexander 1 alle zeigenListe einklappen
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
Noninterference under weak memory models Mantel, Heiko Perner, Matthias Sauer, Jens 2014 - TUHH Open Research
Scheduler-independent declassification Lux, Alexander Mantel, Heiko Perner, Matthias 2012 - TUHH Open Research