Alexandra Weber
Alexandra Weber
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
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
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
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
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
A sound information-flow analysis for Cassandra
S Lortz, H Mantel, A Starostin, A Weber
TU Darmstadt, Tech. Rep., 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
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
RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation
H Mantel, L Scheidel, T Schneider, A Weber, C Weinert, T Weißmantel
Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs
A Weber
TU Darmstadt, 2014
Poster: Side-Channel Finder for AVR
F Dewald, H Mantel, A Weber
Vulnerabilities Introduced by Features for Software-based Energy Measurement
H Mantel, J Schickel, A Weber, F Weber
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer
X Li, H Mantel, J Schickel, M Tasch, I Toteva, A Weber
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
A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store
A Weber
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15