@TechReport{ tr:BauereissGreinerHerdaKirstenLiMantelMohrPernerSchneiderTasch2017, author = {Thomas Bauerei\"s and Simon Greiner and Mihai Herda and Michael Kirsten and Ximeng Li and Heiko Mantel and Martin Mohr and Matthias Perner and David Schneider and Markus Tasch}, title = {RIFL 1.1: A Common Specification Language for Information-Flow Requirements}, institution = {TU Darmstadt}, year = 2017, number = {TUD-CS-2017-0225}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/RIFL1.1-TechnicalReport.pdf} } @Misc{ poster:SSMDUsenix-2016, author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}, title = {{Software Security for Mobile Devices}}, howpublished = {Poster at the 25th USENIX Security Symposium}, year = 2016 } @Misc{ poster:SSMDSandP-2015, author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}, title = {{Software Security for Mobile Devices}}, howpublished = {Poster at the 36th IEEE Symposium on Security and Privacy (S&P)}, year = 2015 } @InProceedings{ mantel.muller-olm.ea:using:a, author = {Heiko Mantel and Markus M\"uller-Olm and Matthias Perner and Alexander Wenner}, title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis}, booktitle = {Post-Proceedings of the 25th Logic-Based Program Synthesis and Transformation (LOPSTR)}, publisher = {Springer}, year = 2015, pages = {201-217}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner.pdf} } @InProceedings{ mantel.muller-olm.ea:using, author = {Heiko Mantel and Markus M\"uller-Olm and Matthias Perner and Alexander Wenner}, title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis}, booktitle = {Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)}, year = 2015, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner-.pdf} } @Article{ ar:ErethLortzPerner2014, author = {Sarah Ereth and Steffen Lortz and Matthias Perner}, journal = {it -- Information Technology}, publisher = {de Gruyter Oldenbourg}, title = {{Confidentiality for Android Apps: Specification and Verification}}, year = 2014, volume = 56, number = 6, pages = {288--293} } @TechReport{ ereth.mantel.ea:towards, author = {Sarah Ereth and Heiko Mantel and Matthias Perner}, title = {Towards a Common Specification Language for Information-Flow Security in RS3 and Beyond: RIFL 1.0 - The Language}, institution = {TU Darmstadt}, year = 2014, number = {TUD-CS-2014-0115}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/RIFL1.0-TechnicalReport-Revision1.pdf} } @TechReport{ tr:MantelPernerSauer2014a, author = {Heiko Mantel and Matthias Perner and Jens Sauer}, title = {{Noninterference under Weak Memory Models (Progress Report)}}, institution = {TU Darmstadt}, year = 2014, month = {March}, number = {TUD-CS-2014-0062}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/Noninterference_under_Weak_Memory_Models_(Progress_Report).pdf} } @InProceedings{ inp:MantelPernerSauer2014a, author = {Heiko Mantel and Matthias Perner and Jens Sauer}, title = {Noninterference under Weak Memory Models}, booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF)}, publisher = {IEEE Computer Society}, address = {Vienna, Austria}, year = 2014, pages = {80--94}, pdf = {http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/CSF2014-MantelPernerSauer.pdf} } @InProceedings{ mantel.perner.ea:noninterference, author = {Heiko Mantel and Matthias Perner and Jens Sauer}, title = {Noninterference under Weak Memory Models}, booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF)}, publisher = {IEEE Computer Society}, address = {Vienna, Austria}, year = 2014, pages = {80-94}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/2014-CSF-MantelPernerSauer-.pdf} } @TechReport{ lux.mantel.ea:scheduler-independent:b, author = {Alexander Lux and Heiko Mantel and Matthias Perner}, title = {Scheduler-Independent Declassification}, institution = {TU Darmstadt}, year = 2012, number = {TUD-CS-2012-0061}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/TUD-CS-2012-0061.pdf} } @InProceedings{ lux.mantel.ea:scheduler-independent, author = {Alexander Lux and Heiko Mantel and Matthias Perner}, title = {Scheduler-Independent Declassification}, booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC)}, publisher = {Springer}, year = 2012, series = {LNCS 7342}, pages = {25--47}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/LuxMantelPerner_MPC2012.pdf} } @MastersThesis{ perner:controlled, author = {Matthias Perner}, title = {Controlled Declassification under Semantics with Schedulers}, school = {TU Darmstadt}, type = {Master Thesis}, year = 2011, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/Masterthesis_Perner_2011.pdf} } @TechReport{ lux.mantel.ea:side:b, author = {Alexander Lux and Heiko Mantel and Matthias Perner and Artem Starostin}, title = {Side Channel Finder (Version 1.0)}, institution = {TU Darmstadt}, month = {October}, year = 2010, number = {TUD-CS-2010-0155}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/20101006SideChannelFinder_published.pdf} } @MastersThesis{ perner:information:2008, author = {Matthias Perner}, school = {TU Darmstadt}, month = {October}, title = {Information Flow Analysis for CIL}, year = 2008, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2008/Thesis-Matthias-Perner.pdf}, type = {Bachelor Thesis} }