Alexandra Weber

Ximeng Li
Office: S2|02 E322
Phone: +49 6151 16-25255
Fax: +49 6151 16-25251

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 4096RSA/A85F0CE4, Fingerprint: D470 7A5B 8183 6B52 3298 F33A A1A6 50FB 465C BB84.

Short Bio

After studying Computer Science at TU Darmstadt and as an exchange student at IIT Madras in Chennai, I joined the MAIS group as a PhD candidate in the project Secure Refinement of Cryptographic Algorithms. I am interested in provable security guarantees. My current focus is to improve the security of cryptographic algorithms against side channels, using program analysis.

Research Interests

  • formal methods
  • semantics
  • program analysis
  • software security
  • interactive theorem proving

Thesis Topics and Student Assistant Positions

If you are a student at TU Darmstadt and are interested in writing a Bachelor's or Master's thesis or in working as a student researcher (HiWi) on program analysis against side channels, please contact me via email.


Google Scholar, DBLP

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.







  • Alexandra Weber. A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]

Talks, Lectures and Poster Presentations

Supervised Theses

  • Manuel Cremer. Test Cases for Detecting the Lucky 13 Vulnerability with SPASCA. Bachelor's thesis, TU Darmstadt, 2017. [ BibTeX entry ]
  • Florian Dewald. Establishing Trust in a Timing-Sensitive Information-Flow Analysis for AVR Assembly Programs. Studienarbeit, TU Darmstadt, 2017.[ BibTeX entry ]

Services to the Scientific Community

  • Subreviewer for CSF - IEEE Computer Security Foundations Symposium (2018)
  • Subreviewer for ESORICS - European Symposium on Research in Computer Security (2016,2017)
  • Subreviewer for ESSoS - International Symposium on Engineering Secure Software and Systems (2016)
  • Subreviewer for GI Sicherheit - Schutz und Zuverlässigkeit (2016)
  • Subreviewer for IFIP Sec - International Information Security and Privacy Conference (2015)
  • Subreviewer for POST - International Conference on Principles of Security and Trust (2015, 2018)

Last modified on 7 March 2018.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang