Malte Skoruppa
M.Sc. | Researcher


  • Information Security and Cryptography
  • Building E9 1, Room 3.13
  • +49 681 302 57323
  • skoruppa(aeht)cs.uni-saarland.de
  • Personal Webpage

Curriculum Vitae

2012-present PhD candidate in Computer Science at Saarland University
2012 M.Sc. in computer science, Saarland University
2010 B.Sc. in computer science, Saarland University

Publications

2017

Efficient and Flexible Discovery of PHP Application Vulnerabilities

2016

Implementation-level Analysis of the JavaScript Helios Voting Client

2013

Using Mobile Device Communication to Strengthen e-Voting Protocols

2012

Verified Security of Merkle-Damgård

Verifiable Security of Prefix-free Merkle-Damgård

2010

Formal Verification of ElGamal Encryption using a Probabilistic Lambda-Calculus