Number of items: 6.
Backes, Michael and Rieck, Konrad and Skoruppa, Malte and Stock, Ben and Yamaguchi, Fabian
(2017)
Efficient and Flexible Discovery of PHP Application Vulnerabilities.
Backes, Michael and Hammer, Christian and Pfaff, David and Skoruppa, Malte
(2016)
Implementation-level Analysis of the JavaScript Helios Voting Client.
Backes, Michael and Gagné, Martin and Skoruppa, Malte
(2013)
Using Mobile Device Communication to Strengthen e-Voting Protocols.
Backes, Michael and Barthe, Gilles and Berg, Matthias and Grégoire, Benjamin and Kunz, César and Skoruppa, Malte and Béguelin, Santiago Zanella
(2012)
Verified Security of Merkle-Damgård.
Skoruppa, Malte
(2012)
Verifiable Security of Prefix-free Merkle-Damgård.
Masters thesis, Saarland University.
Skoruppa, Malte
(2010)
Formal Verification of ElGamal Encryption using a Probabilistic Lambda-Calculus.
Bachelors thesis, Saarland University.
This list was generated on Wed Oct 9 21:09:24 2024 CEST.