Scheduler-Independent Declassification. - Alexander Lux; Heiko Mantel; Matthias Perner (MPC, 2012)

Noninterference under Weak Memory Models. - Heiko Mantel; Matthias Perner; Jens Sauer (CSF, 2014)

Confidentiality for Android apps: Specification and verification. - Sarah Ereth; Steffen Lortz; Matthias Perner (it Inf. Technol., 2014)

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. - Heiko Mantel; Markus Müller-Olm; Matthias Perner; Alexander Wenner (LOPSTR, 2015)