Cassandra: Towards a Certifying App Store for Android S Lortz, H Mantel, A Starostin, T Bähr, D Schneider, A Weber Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones …, 2014 | 69 | 2014 |
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode T Hamann, M Herda, H Mantel, M Mohr, D Schneider, M Tasch Nordic Conference on Secure IT Systems, 437-453, 2018 | 14 | 2018 |
RIFL 1.1: A Common Specification Language for Information-Flow Requirements T Bauereiß, S Greiner, M Herda, M Kirsten, X Li, H Mantel, M Mohr, ... | 6 | 2017 |
Poster: Software Security for Mobile Devices S Arzt, A Bartel, R Gay, S Lortz, E Lovat, H Mantel, M Mohr, B Nordhoff, ... | 5* | |
Cassandra: Towards a Certifying App Store S Lortz, H Mantel, A Starostin, T Bähr, D Schneider Technical report, Modeling and Analysis of Information Systems (MAIS …, 2014 | | 2014 |