Matthias Perner

According to our database, Matthias Perner authored at least 4 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2015

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Confidentiality for Android apps: Specification and verification.

Sarah Ereth, Steffen Lortz, Matthias Perner

it Inf. Technol., 2014

Noninterference under Weak Memory Models.

Heiko Mantel, Matthias Perner, Jens Sauer

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2012

Scheduler-Independent Declassification.

Alexander Lux, Heiko Mantel, Matthias Perner

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012