| 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 | 61 | 2014 |
| AVR Processors as a Platform for Language-Based Security F Dewald, H Mantel, A Weber European Symposium on Research in Computer Security, 427-445, 2017 | 15 | 2017 |
| A Systematic Study of Cache Side Channels across AES Implementations H Mantel, A Weber, B Köpf International Symposium on Engineering Secure Software and Systems, 213-230, 2017 | 15 | 2017 |
| Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics N Bindel, J Buchmann, J Krämer, H Mantel, J Schickel, A Weber International Symposium on Foundations and Practice of Security, 225-241, 2017 | 12 | 2017 |
| How Secure Is Green IT? The Case of Software-Based Energy Side Channels H Mantel, J Schickel, A Weber, F Weber European Symposium on Research in Computer Security, 218-239, 2018 | 10 | 2018 |
| A sound information-flow analysis for Cassandra S Lortz, H Mantel, A Starostin, A Weber TU Darmstadt, Tech. Rep., 2014 | 9 | 2014 |
| Poster: Software security for mobile devices S Arzt, A Bartel, R Gay, S Lortz, E Lovat, H Mantel, M Mohr, B Nordhoff, ... Proc. of the 36th IEEE Symp. on Security and Privacy. Piscataway: IEEE, 1-2, 2015 | 4 | 2015 |
| Side-Channel Analysis of Privacy Amplification in Postprocessing Software for a Quantum Key Distribution System O Nikiforov, A Sauer, J Schickel, A Weber, G Alber, H Mantel, T Walther Technical Report TUD-CS-2018-0024, 2018 | 2 | 2018 |
| RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation H Mantel, L Scheidel, T Schneider, A Weber, C Weinert, T Weißmantel | 1 | 2020 |
| Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs A Weber TU Darmstadt, 2014 | 1 | 2014 |
| Poster: Side-Channel Finder for AVR F Dewald, H Mantel, A Weber | | 2018 |
| Vulnerabilities Introduced by Features for Software-based Energy Measurement H Mantel, J Schickel, A Weber, F Weber | | 2017 |
| SPASCA: Secure-Programming Assistant and Side-Channel Analyzer X Li, H Mantel, J Schickel, M Tasch, I Toteva, A Weber | | 2017 |
| Certifying the Security of Android Applications with Cassandra S Lortz, H Mantel, D Schneider, A Starostin, T Bähr, A Weber Short Talk at the 36th IEEE Symposium on Security and Privacy (S&P), 2015 | | 2015 |
| A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store A Weber | | 2012 |
Dr. Artem StarostinFinanz Informatik Solutions Plus GmbHBestätigte E-Mail-Adresse bei f-i-solutions-plus.de
