2022

Edlund, Martin ; Mantel, Heiko ; Weber, Alexandra ; Weißmantel, Tim (2022)
Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool.
doi: 10.26083/tuprints-00020262
Report, Primary publication, Publisher's Version

Weber, Alexandra (2022)
Semantics-Based Cache-Side-Channel Quantification in Cryptographic Implementations.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021208
Ph.D. Thesis, Primary publication, Publisher's Version

2021

Mantel, Heiko ; Weber, Alexandra (2021)
Towards Leakage Bounds for Side Channels based on Caches and Pipelined Executions.
doi: 10.26083/tuprints-00019755
Report, Primary publication, Publisher's Version

Mantel, Heiko ; Weißmantel, Tim ; Fischlin, Marc ; Weber, Alexandra (2021)
A Comparative Study of Cache Side Channels across AES Implementations and Modes of Operation.
doi: 10.26083/tuprints-00019753
Report, Primary publication, Publisher's Version

2017

Gay, Richard (2017)
A Generic Framework for Enforcing Security in Distributed Systems.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2014

Wachsmann, Christian (2014)
Trusted and Privacy-preserving Embedded Systems: Advances in Design, Analysis and Application of Lightweight Privacy-preserving Authentication and Physical Security Primitives.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2013

Sudbrock, Henning (2013)
Compositional and Scheduler-Independent Information Flow Security.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication