Alexandra Weber
Alexandra Weber
Bestätigte E-Mail-Adresse bei mais.informatik.tu-darmstadt.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
482014
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
142017
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
112017
A sound information-flow analysis for Cassandra
S Lortz, H Mantel, A Starostin, A Weber
TU Darmstadt, Tech. Rep., 2014
92014
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
82017
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
62018
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
32015
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
12018
Comparison of an Operational and an Axiomatic Model of Execution for Multi-threaded Programs
A Weber
TU Darmstadt, 2014
12014
Poster: Side-Channel Finder for AVR
F Dewald, H Mantel, A Weber
2018
Vulnerabilities Introduced by Features for Software-based Energy Measurement
H Mantel, J Schickel, A Weber, F Weber
2017
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer
X Li, H Mantel, J Schickel, M Tasch, I Toteva, A Weber
2017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14