| 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 systematic study of cache side channels across AES implementations H Mantel, A Weber, B Köpf Engineering Secure Software and Systems: 9th International Symposium, ESSoS …, 2017 | 29 | 2017 |
| How secure is green IT? The case of software-based energy side channels H Mantel, J Schickel, A Weber, F Weber Computer Security: 23rd European Symposium on Research in Computer Security …, 2018 | 22 | 2018 |
| AVR processors as a platform for language-based security F Dewald, H Mantel, A Weber Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017 | 22 | 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 Foundations and Practice of Security: 10th International Symposium, FPS 2017 …, 2018 | 19 | 2018 |
| A sound information-flow analysis for Cassandra S Lortz, H Mantel, A Starostin, A Weber TU Darmstadt, Tech. Rep., 2014 | 10 | 2014 |
| RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation H Mantel, L Scheidel, T Schneider, A Weber, C Weinert, T Weißmantel | 7 | 2020 |
| Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography A Weber, O Nikiforov, A Sauer, J Schickel, G Alber, H Mantel, T Walther Computer Security–ESORICS 2021: 26th European Symposium on Research in …, 2021 | 5 | 2021 |
| 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 Tech. Rep., Technical Report TUD-CS-2018-0024, 2018 | 5 | 2018 |
| 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 | 5 | 2015 |
| Vulnerabilities Introduced by Features for Software-based Energy Measurement H Mantel, J Schickel, A Weber, F Weber | 2 | 2017 |
| SPASCA: Secure-Programming Assistant and Side-Channel Analyzer X Li, H Mantel, J Schickel, M Tasch, I Toteva, A Weber Technical Report TUD-CS-2017-0303, TU Darmstadt, 2017 | 1 | 2017 |
| Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs A Weber TU Darmstadt, 2014 | 1 | 2014 |
| Semantics-Based Cache-Side-Channel Quantification in Cryptographic Implementations A Weber Technische Universität, 2022 | | 2022 |
| Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool M Edlund, H Mantel, A Weber, T Weißmantel | | 2022 |
| Towards Leakage Bounds for Side Channels based on Caches and Pipelined Executions H Mantel, A Weber | | 2021 |
| A Comparative Study of Cache Side Channels across AES Implementations and Modes of Operation H Mantel, T Weißmantel, M Fischlin, A Weber | | 2021 |
| Poster: Side-Channel Finder for AVR F Dewald, H Mantel, A Weber | | 2018 |
| 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 |
Heiko MantelProfessor, Computer Science, TU DarmstadtBestätigte E-Mail-Adresse bei cs.tu-darmstadt.de
