Cassandra: Towards a Certifying App Store for Android. - Steffen Lortz; Heiko Mantel; Artem Starostin; Timo Bähr; David Schneider 002; Alexandra Weber (SPSM@CCS, 2014)

AVR Processors as a Platform for Language-Based Security. - Florian Dewald; Heiko Mantel; Alexandra Weber (ESORICS (1), 2017)

A Systematic Study of Cache Side Channels Across AES Implementations. - Heiko Mantel; Alexandra Weber; Boris Köpf (ESSoS, 2017)

Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics. - Nina Bindel; Johannes Buchmann 001; Juliane Krämer; Heiko Mantel; Johannes Schickel; Alexandra Weber (IACR Cryptol. ePrint Arch., 2017)

How Secure Is Green IT? The Case of Software-Based Energy Side Channels. - Heiko Mantel; Johannes Schickel; Alexandra Weber; Friedrich Weber (ESORICS (1), 2018)

RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation. - Heiko Mantel; Lukas Scheidel; Thomas Schneider 003; Alexandra Weber; Christian Weinert; Tim Weißmantel (CANS, 2020)

Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. - Alexandra Weber; Oleg Nikiforov; Alexander Sauer; Johannes Schickel; Gernot Alber; Heiko Mantel; Thomas Walther (ESORICS (2), 2021)

Semantics-Based Cache-Side-Channel Quantification in Cryptographic Implementations. - Alexandra Weber (2022)