Verified Security of Merkle-Damgård. - Michael Backes 001; Gilles Barthe; Matthias Berg; Benjamin Grégoire; César Kunz; Malte Skoruppa; Santiago Zanella-Béguelin (CSF, 2012)

Using mobile device communication to strengthen e-Voting protocols. - Michael Backes 001; Martin Gagné; Malte Skoruppa (WPES, 2013)

Implementation-level analysis of the JavaScript helios voting client. - Michael Backes 001; Christian Hammer 001; David Pfaff; Malte Skoruppa (SAC, 2016)

Efficient and Flexible Discovery of PHP Application Vulnerabilities. - Michael Backes 001; Konrad Rieck; Malte Skoruppa; Ben Stock; Fabian Yamaguchi (EuroS&P, 2017)

Leveraging Flawed Tutorials for Seeding Large-Scale Web Vulnerability Discovery. - Tommi Unruh; Bhargava Shastry; Malte Skoruppa; Federico Maggi 001; Konrad Rieck; Jean-Pierre Seifert; Fabian Yamaguchi (WOOT, 2017)

Automated Security Analysis of Web Application Technologies. - Malte Skoruppa (2017)