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.


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 Posters




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

I have been a subreviewer for POST 2015, IFIP Sec 2015, ESSoS 2016, Sicherheit 2016, ESORICS 2016, ESORICS 2017.


Last modified on 30 November 2017.

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