Michael Kirsten

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 11

Top Topics

Bounded Model Checking

Formal Verification

Reactive Systems

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Michael Kirsten, Melanie Volkamer, Bernhard Beckert
Why Is Online Voting Still Largely a Black Box? CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Alexander Koch, Michael Schrempp, Michael Kirsten
Card-Based Cryptography Meets Formal Verification. New Gener. Comput. 39 (1) (2021)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) (2020)
Karsten Diekhoff, Michael Kirsten, Jonas Krämer
Verified Construction of Fair Voting Rules. LOPSTR (2019)
Alexander Koch, Michael Schrempp, Michael Kirsten
Card-based Cryptography Meets Formal Verification. IACR Cryptol. ePrint Arch. 2019 (2019)
Alexander Koch, Michael Schrempp, Michael Kirsten
Card-Based Cryptography Meets Formal Verification. ASIACRYPT (1) (2019)
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Understanding Counterexamples for Relational Properties with DIbugger. HCVS/PERR@ETAPS (2019)
Michael Kirsten, Olivier Cailloux
Towards automatic argumentation about voting rules. APIA (2018)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. ICFEM (2018)
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN (2017)
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID (2016)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (2015)