A Hybrid Approach for Proving Noninterference of Java Programs. - Ralf Küsters; Tomasz Truderung; Bernhard Beckert; Daniel Bruns; Michael Kirsten; Martin Mohr (IACR Cryptol. ePrint Arch., 2015)

Automatic Margin Computation for Risk-Limiting Audits. - Bernhard Beckert; Michael Kirsten; Vladimir Klebanov; Carsten Schürmann 001 (E-VOTE-ID, 2016)

Generalized test tables: A powerful and intuitive specification language for reactive systems. - Alexander Weigl; Franziska Wiebe; Mattias Ulbrich; Sebastian Ulewicz; Suhyun Cha; Michael Kirsten; Bernhard Beckert; Birgit Vogel-Heuser (INDIN, 2017)

Towards automatic argumentation about voting rules. - Michael Kirsten; Olivier Cailloux (APIA, 2018)

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. - Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning (ICFEM, 2018)

Verified Construction of Fair Voting Rules. - Karsten Diekhoff; Michael Kirsten; Jonas Krämer (LOPSTR, 2019)

Understanding Counterexamples for Relational Properties with DIbugger. - Mihai Herda; Michael Kirsten; Etienne Brunner; Joana Plewnia; Ulla Scheler; Chiara Staudenmaier; Benedikt Wagner; Pascal Zwick; Bernhard Beckert (HCVS/PERR@ETAPS, 2019)

Modular Verification of JML Contracts Using Bounded Model Checking. - Bernhard Beckert; Michael Kirsten; Jonas Klamroth; Mattias Ulbrich (ISoLA (1), 2020)

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. - Bernhard Beckert; Mihai Herda; Michael Kirsten; Shmuel S. Tyszberowicz (20 Years of KeY, 2020)

Card-Based Cryptography Meets Formal Verification. - Alexander Koch 001; Michael Schrempp; Michael Kirsten (New Gener. Comput., 2021)

Why Is Online Voting Still Largely a Black Box? - Michael Kirsten; Melanie Volkamer; Bernhard Beckert (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Formal Methods for Trustworthy Voting Systems: From Trusted Components to Reliable Software. - Michael Kirsten (2023)

Recommendations for Implementing IV in Internet Voting. - Florian Moser; Rüdiger Grimm; Tobias Hilt; Michael Kirsten; Christoph Niederbudde; Melanie Volkamer (E-Vote-ID (GI), 2024)

SoK - Mechanisms Used in Practice for Verifiable Internet Voting. - Florian Moser; Michael Kirsten; Felix Dörre (E-Vote-ID (GI), 2024)

Towards AI-Assisted Correctness-by-Construction Software Development. - Maximilian Kodetzki; Tabea Bordis; Michael Kirsten; Ina Schaefer (ISoLA (4), 2024)

Formal Foundations of Consistency in Model-Driven Development. - Romain Pascual; Bernhard Beckert; Mattias Ulbrich; Michael Kirsten; Wolfram Pfeifer (ISoLA (3), 2024)