Alexandra Weber

Ximeng Li
Office: S2|02 E312
Phone: +49 6151 16-25253
Fax: +49 6151 16-25251
Profiles: Google Scholar, DBLP, Twitter
GPG-Key: 4096RSA/A85F0CE4
Fingerprint:  D470 7A5B 8183  6B52 3298
 F33A A1A6 50FB 465C BB84

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt



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 implementations 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

Conference Presentations

Supervised Theses

  • Florian Dewald. Exploring the Robustness of Dependency Graphs Based on Operational Semantics.
    Master's Thesis, TU Darmstadt, 2018. [ BibTeX entry ]
  • Isabella Dix. A Type System and Implementation for Detecting the Lucky13 Vulnerability with SPASCA.
    Master's Thesis, TU Darmstadt, 2018. [ BibTeX entry ]
  • Timothy Earley. Extending the Language Coverage for Side-Channel FinderAVR.
    Bachelor's thesis, TU Darmstadt, 2018. [ BibTeX entry ]
  • 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 ]

(Co-)Supervised Student Assistants

  • Robin Kruppe (04/16 - 09/16)
  • Iva Toteva (01/17 - 02/17)
  • Benjamin Richter (12/17 - 07/18)
  • Henry Rust (05/18 - 07/18)
  • Tim Weißmantel (since 09/18)

Services to the Scientific Community

  • Subreviewed for CSF - IEEE Computer Security Foundations Symposium (2018)
  • Subreviewed for ESORICS - European Symposium on Research in Computer Security (2016,2017)
  • Subreviewed for ESSoS - International Symposium on Engineering Secure Software and Systems (2016)
  • Subreviewed for GI Sicherheit - Schutz und Zuverlässigkeit (2016)
  • Subreviewed for IFIP Sec - International Information Security and Privacy Conference (2015)
  • Subreviewed for LOPSTR - International Symposium on Logic-Based Program Synthesis and Transformation (2016)
  • Subreviewed for POST - International Conference on Principles of Security and Trust (2015, 2018, 2019)
  • Subreviewed for special issue of Journal of Computer Security (2018)
  • Reviewed for International Journal of Information Security (2018)

Last modified on 22 January 2019.

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