Alexandra Weber

Office: S2|02 E312
Phone: +49 6151 16-25253
Fax: +49 6151 16-25251
Mail: weberatmais.informatik.tu-darmstadt.de
Profiles: Google Scholar, DBLP
GPG-Key: ECC/314BBDC0
Fingerprint: 7AAC 125B 4CED 071A F630
E799 1C6F 8006 314B BDC0

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

Ximeng Li

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.

Publications

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.

2020

2018

2017

2016

  • Steven Arzt, Alexandre Bartel, Richard Gay, Steffen Lortz, Enrico Lovat, Heiko Mantel, Martin Mohr, Benedikt Nordhoff, Matthias Perner, Siegfried Rasthofer, David Schneider, Gregor Snelting, Artem Starostin and Alexandra Weber. Software Security for Mobile Devices. Poster at the 25th USENIX Security Symposium, 2016.
    BibTeX entry ]
  • Steffen Lortz, Heiko Mantel, David Schneider, Artem Starostin, Timo Bähr and Alexandra Weber. Certifying the Security of Android Applications with Cassandra. Work-in-Progress Report at the 25th USENIX Security Symposium, 2016.
    BibTeX entry | Abstract ]

2015

  • Steven Arzt, Alexandre Bartel, Richard Gay, Steffen Lortz, Enrico Lovat, Heiko Mantel, Martin Mohr, Benedikt Nordhoff, Matthias Perner, Siegfried Rasthofer, David Schneider, Gregor Snelting, Artem Starostin and Alexandra Weber. Software Security for Mobile Devices. Poster at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
    BibTeX entry | Abstract ]
  • Steffen Lortz, Heiko Mantel, David Schneider, Artem Starostin, Timo Bähr and Alexandra Weber. Certifying the Security of Android Applications with Cassandra. Short Talk at the 36th IEEE Symposium on Security and Privacy (S&P), 2015.
    BibTeX entry | Abstract ]

2014

2012

  • 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

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

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
  • Reviewed for Special Issue of Fundamenta Informaticae Journal
 

Last modified on 16 October 2020.

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