| TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany |
GPG-Key: 4096R/0996D39E, Fingerprint: C213 BCBD 0E73 4E7F 022D 8DE0 E9BE 5A8A 0996 D39E
Short Bio
Prior to being part of the MAIS group as a PhD candidate, I gained my B.Sc. in Computer Science and M.Sc. in It-Security at TU Darmstadt. Currently, I contribute to the collaborative research center CROSSING as a member of the Secure Refinement of Cryptographic Algorithms project. In my research, I focus on statically infering provable security guarantees of cryptographic software implementations.
Research Interests
- Static Program Analyses
- Software-Based Side-Channels Attacks
- Formal Methods
- Programming Languages
Publications
These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
2024
- Heiko Mantel, Joachim Schmidt, Thomas Schneider, Maximilian Stillger, Tim Weißmantel and Hossein Yalame. HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation. In Proceedings of the 61st Design Automation Conference (DAC), 2024.
[ BibTeX entry | URL ]
2022
- Martin Edlund, Heiko Mantel, Alexandra Weber and Tim Weißmantel. Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool. TU Darmstadt, Technical Report, 2022.
[ BibTeX entry | URL ]
2021
- Heiko Mantel, Tim Weißmantel, Marc Fischlin and Alexandra Weber. A Comparative Study of Cache Side Channels across AES Implementations and Modes of Operation. TU Darmstadt, Technical Report, 2021.
[ BibTeX entry | URL ]
2020
- Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert and Tim Weißmantel. RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. In International Conference on Cryptology and Network Security (CANS), 2020.
[ BibTeX entry | PDF ] - Tim Weißmantel. Exploring Cache-Side-Channel Leakage of AES across CBC, CTR and GCM Mode. Master's Thesis, TU Darmstadt, 2020.
[ BibTeX entry ]