Michael Kirsten

21 papers A 1C 3Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards Examining the Complexity of Consistency.
MODELS-C
Romain Pascual, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, Terru Stübinger
2024 — ed.
Eight International Joint Conference on Electronic Voting, E-Vote-ID 2024, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
E-Vote-ID (GI)
Melanie Volkamer, David Duenas-Cid, Peter B. Roenne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodríguez-Pérez, Iuliia Spycher-Krivonosova, Michael Kirsten, Alexandre Debant, Nicole J. Goodman
2024 — conf
Formal Foundations of Consistency in Model-Driven Development.
ISoLA (3)
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
2024 — conf
Recommendations for Implementing IV in Internet Voting.
E-Vote-ID (GI)
Florian Moser, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, Melanie Volkamer
2024 — conf
SoK - Mechanisms Used in Practice for Verifiable Internet Voting.
E-Vote-ID (GI)
Florian Moser, Michael Kirsten, Felix Dörre
2024 — conf
Towards AI-Assisted Correctness-by-Construction Software Development.
ISoLA (4)
Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer
2023 — —
Formal Methods for Trustworthy Voting Systems: From Trusted Components to Reliable Software.
Michael Kirsten
2022 — conf
Why Is Online Voting Still Largely a Black Box?
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Michael Kirsten, Melanie Volkamer, Bernhard Beckert
2021 J jnl
Card-Based Cryptography Meets Formal Verification.
New Gener. Comput.
Alexander Koch, Michael Schrempp, Michael Kirsten
2020 — ch.
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.
20 Years of KeY
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz
2020 — conf
Modular Verification of JML Contracts Using Bounded Model Checking.
ISoLA (1)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
2019 — conf
Card-Based Cryptography Meets Formal Verification.
ASIACRYPT (1)
Alexander Koch, Michael Schrempp, Michael Kirsten
2019 J jnl
Card-based Cryptography Meets Formal Verification.
IACR Cryptol. ePrint Arch.
Alexander Koch, Michael Schrempp, Michael Kirsten
2019 — conf
Understanding Counterexamples for Relational Properties with DIbugger.
HCVS/PERR@ETAPS
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
2019 C conf
Verified Construction of Fair Voting Rules.
LOPSTR
Karsten Diekhoff, Michael Kirsten, Jonas Krämer
2018 — conf
Towards automatic argumentation about voting rules.
APIA
Michael Kirsten, Olivier Cailloux
2018 C conf
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
ICFEM
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
2017 C conf
Generalized test tables: A powerful and intuitive specification language for reactive systems.
INDIN
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
2016 — conf
Automatic Margin Computation for Risk-Limiting Audits.
E-VOTE-ID
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
2015 A conf
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr