Tim Wei▀mantel

Tim Wei▀mantel
Office: S2|02 E321
Phone: +49 6151 16-25256
Fax: +49 6151 16-25251
Mail: weissmantelatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

GPG-Key: 4096R/0996D39E, Fingerprint: C213 BCBD 0E73 4E7F 022D 8DE0 E9BE 5A8A 0996 D39E

Short Bio

Prior to being part of the MAIS group as a PhD candidate, I gained my B.Sc. in Computer Science and M.Sc. in It-Security at TU Darmstadt. Currently, I contribute to the collaborative research center Crossing as a member of the Secure Refinement of Cryptographic Algorithms project. In my research, I focus on statically infering provable security guarantees of cryptographic software implementations.

Research Interests

  • Static Program Analyses
  • Software-Based Side-Channels Attacks
  • Formal Methods
  • Programming Languages

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


 

Last modified on 25 November 2020.

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