Matthias Perner

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Mobile Platforms

Resource Manager

Signature Verification

Top Venues

it Inf. Technol.

Publications

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. LOPSTR (2015)
Sarah Ereth, Steffen Lortz, Matthias Perner
Confidentiality for Android apps: Specification and verification. it Inf. Technol. 56 (6) (2014)
Heiko Mantel, Matthias Perner, Jens Sauer
Noninterference under Weak Memory Models. CSF (2014)
Alexander Lux, Heiko Mantel, Matthias Perner
Scheduler-Independent Declassification. MPC (2012)