Publications

2025

  • “Towards Examining the Complexity of Consistency.” In Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, edited by Shaukat Ali and Houari Sahraoui. MODELS Companion 2025. IEEE. Pascual, Romain, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, and Terru Stübinger. 2025.

2024

  • “Formal Foundations of Consistency in Model-Driven Development.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification, edited by Tiziana Margaria and Bernhard Steffen, 15222.Part III. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-75380-0_11. Pascual, Romain, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer. 2024.

  • “Recommendations for Implementing Independent Individual Verifiability in Internet Voting.” Paper presented October 2–4, 2024, Tarragona, Spain. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Lecture notes in informatics, October. https://hal.science/hal-04663997. Moser, Florian, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, and Melanie Volkamer. 2024.

  • “SoK: Mechanisms Used in Practice for Verifiable Internet Voting.” Paper presented October 2–4, 2024, Tarragona, Spain. 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024), Lecture notes in informatics, October. https://hal.science/hal-04686386. Moser, Florian, Michael Kirsten, and Felix Dörre. 2024.

  • “Towards AI-Assisted Correctness-by-Construction Software Development.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Software Engineering Methodologies, edited by Tiziana Margaria and Bernhard Steffen, 15222.Part IV. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-75387-9_14. Kodetzki, Maximilian, Tabea Bordis, Michael Kirsten, and Ina Schaefer. 2024.

2023

  • “E-Vote-ID 2023: Eight International Joint Conference on Electronic Voting.” Edited by Melanie Volkamer, David Duenas-Cid, Peter B. Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova, Michael Kirsten, Alexandre Debant, and Nicole Goodman. P-347. GI-Edition: Lecture Notes in Informatics; Proceedings. 8th international joint conference on electronic voting (E-Vote-ID 2023), October 3–6, 2023, Luxembourg City, Luxembourg. Gesellschaft für Informatik (GI). https://doi.org/10.18420/e-vote-id2023_16. Volkamer, Melanie, David Duenas-Cid, Peter B. Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodriguez Pérez, Iuliia Spycher-Krivonosova, Michael Kirsten, Alexandre Debant, and Nicole Goodman, eds. 2023.

2022

  • “Algorithmic Fairness and Secure Information Flow (Extended Abstract).” In European Workshop on Algorithmic Fairness (EWAF ’22), Lightning Round Track, edited by Christoph Heitz, Corinna Hertweck, Eleonora Viganò, and Michele Loi. https://sites.google.com/view/ewaf22/accepted-papers. Beckert, Bernhard, Michael Kirsten, and Michael Schefczyk. 2022.

  • “Formal Methods for Trustworthy Voting Systems.” PhD thesis, Karlsruhe Institute of Technology (KIT). https://doi.org/10.5445/IR/1000155115. Kirsten, Michael. 2022.

  • “Why Is Online Voting Still Largely a Black Box?” In First International Workshop on Election Infrastructure Security (EIS 2022) in Conjunction with ESORICS 2022: European Symposium on Research in Computer Security, edited by Sokratis Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, and Ankur Shukla, vol. 13785. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-25460-4_32. Kirsten, Michael, Melanie Volkamer, and Bernhard Beckert. 2022.

2021

  • “Card-Based Cryptography Meets Formal Verification.” Translated by Takaaki Mizuki. New Generation Computing 39 (1): 115–58. https://doi.org/10.1007/s00354-020-00120-0. Koch, Alexander, Michael Schrempp, and Michael Kirsten. 2021.

2020

  • “Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.” 12 in Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY, edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Mattias Ulbrich, 12345.V: Integration of Verification Techniques. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-64354-6_12. Beckert, Bernhard, Mihai Herda, Michael Kirsten, and Shmuel Tyszberowicz. 2020.

  • “Modular Verification of JML Contracts Using Bounded Model Checking.” In 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), edited by Tiziana Margaria and Bernhard Steffen, 12476.I: Verification Principles. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-61362-4_4. Beckert, Bernhard, Michael Kirsten, Jonas Klamroth, and Mattias Ulbrich. 2020.

  • “Problemorientierte, Forschungsorientierte Und Interdisziplinäre Lehre in Der Informatik.” Edited by KIT-Teilprojekte Lehre^Forschung PLUS in Zusammenarbeit mit den Organisator:innen der Campustage 2020. October 16, 2020, Karlsruhe, Germany. Karlsruhe Institute of Technology (KIT); Campustage 2020 „Lehre^Forschung-PLUS“. https://doi.org/10.5445/IR/1000125380. Kirsten, Michael, Robert Bauer, Andreas Fried, Bernhard Beckert, Michael Beigl, Gregor Snelting, and Martina Zitterbart. 2020.

  • “Verified Construction of Fair Voting Rules.” In 29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019), Revised Selected Papers, edited by Maurizio Gabbrielli, vol. 12042, 12042. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-45260-5_6. Diekhoff, Karsten, Michael Kirsten, and Jonas Krämer. 2020.

2019

  • “Card-Based Cryptography Meets Formal Verification.” In 25th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2019), edited by Steven D. Galbraith and Shiho Moriai, vol. 11921.I, 11921.I. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-34578-5_18. Koch, Alexander, Michael Schrempp, and Michael Kirsten. 2019.

  • “Formal Property-Oriented Design of Voting Rules Using Composable Modules.” In 6th International Conference on Algorithmic Decision Theory (ADT 2019), edited by Saša Pekeč and Kristen Brent Venable, 11834.Short Papers. Lecture Notes in Artificial Intelligence. Springer. https://doi.org/10.1007/978-3-030-31489-7. Diekhoff, Karsten, Michael Kirsten, and Jonas Krämer. 2019.

  • “GI Elections with POLYAS: A Road to End-to-End Verifiable Elections.” In Fourth International Joint Conference on Electronic Voting (e-Vote-ID 2019), edited by Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Véronique Cortier, Ardita Driza-Maurer, David Duenas-Cid, Jörg Helbach, Reto Koenig, Iuliia Krivonosova, Ralf Küsters, Peter Rønne, Uwe Serdült, and Oliver Spycher. Proceedings e-Vote-ID 2019. TalTech Press. https://digi.lib.ttu.ee/i/?13563. Beckert, Bernhard, Achim Brelle, Rüdiger Grimm, Nicolas Huber, Michael Kirsten, Ralf Küsters, Jörn Müller-Quade, Maximilian Noppel, Kai Reinhard, Jonas Schwab, Rebecca Schwerdt, Tomasz Truderung, Melanie Volkamer, and Cornelia Winter. 2019.

  • “Understanding Counterexamples for Relational Properties with DIbugger.” In Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), edited by Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, and Mattias Ulbrich, vol. 296, 296. EPTCS. Open Publishing Association. https://doi.org/10.4204/EPTCS.296.4. Herda, Mihai, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, and Bernhard Beckert. 2019.

2018

  • “Formal Specification and Verification of Hyperledger Fabric Chaincode.” In 3rd Symposium on Distributed Ledger Technology (SDLT-2018) Co-Located with ICFEM 2018: The 20th International Conference on Formal Engineering Methods, edited by Guangdong Bai and Kamanashis Biswas. https://symposium-dlt.org/. Beckert, Bernhard, Mihai Herda, Michael Kirsten, and Jonas Schiffl. 2018.

  • “Towards Automatic Argumentation about Voting Rules.” In 4ème Conférence Nationale Sur Les Applications Pratiques de l’intelligence Artificielle (APIA 2018), edited by Sandra Bringay and Juliette Mattioli. Kirsten, Michael, and Olivier Cailloux. 2018.

  • “Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.” In 20th International Conference on Formal Engineering Methods - Formal Methods and Software Engineering (ICFEM 2018), edited by Jing Sun and Meng Sun, vol. 11232. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-02450-5_17. Beckert, Bernhard, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning. 2018.

2017

  • “An Introduction to Voting Rule Verification.” 14 in Trends in Computational Social Choice, edited by Ulle Endriss, II: Techniques. AI Access. https://research.illc.uva.nl/COST-IC1205/Book/. Beckert, Bernhard, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Carsten Schürmann. 2017.

  • “Automatic Margin Computation for Risk-Limiting Audits.” In First International Joint Conference on Electronic Voting – Formerly Known as EVOTE and VoteID (e-Vote-ID 2016), edited by Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole J. Goodman, Peter Y. A. Ryan, and Vanessa Teague, vol. 10141, 10141. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-52240-1_2. Beckert, Bernhard, Michael Kirsten, Vladimir Klebanov, and Carsten Schürmann. 2017.

  • “Combining Graph-Based and Deduction-Based Information-Flow Analysis.” In 5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017) Affiliated with ETAPS 2017: European Joint Conferences on Theory and Practice of Software, edited by Ralf Küsters. https://sec.informatik.uni-stuttgart.de/_media/events/hotspot2017/proceedings.pdf#page=6. Beckert, Bernhard, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning. 2017.

  • “Formal Fairness Properties in Network Routing Based on a Resource Allocation Model.” In 9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) Affiliated with CSL 2017: The 26th EACSL Annual Conference on Computer Science Logic, edited by Natasha Alechina, Mika Cohen, and Valentin Goranko. https://www.cs.nott.ac.uk/~psznza/lamas17/papers/kirsten.pdf. Demel, Almut, and Michael Kirsten. 2017.

  • “Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems.” 15th IEEE International Conference on Industrial Informatics (INDIN 2017), July, 875–82. https://doi.org/10.1109/INDIN.2017.8104887. Weigl, Alexander, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, and Birgit Vogel-Heuser. 2017.

  • “RIFL 1.1: A Common Specification Language for Information-Flow Requirements.” TUD-CS-2017-0225. TU Darmstadt. Bauereiß, Thomas, Simon Greiner, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider, and Markus Tasch. 2017.

2016

  • “A Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation.” IEEE International Symposium on Assembly and Manufacturing (ISAM 2016), August, 19–25. https://doi.org/10.1109/ISAM.2016.7750714. Ulewicz, Sebastian, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert, and Birgit Vogel-Heuser. 2016.

  • “Automated Verification for Functional and Relational Properties of Voting Rules.” In Sixth International Workshop on Computational Social Choice (COMSOC 2016), edited by Umberto Grandi and Jeffrey S. Rosenschein. https://www.irit.fr/COMSOC-2016/proceedings/BeckertEtAlCOMSOC2016.pdf. Beckert, Bernhard, Thorsten Bormer, Michael Kirsten, Till Neuber, and Mattias Ulbrich. 2016.

2015

  • “A Hybrid Approach for Proving Noninterference of Java Programs.” In 28th IEEE Computer Security Foundations Symposium (CSF 2015), edited by Cédric Fournet and Michael Hicks. https://doi.org/10.1109/CSF.2015.28. Küsters, Ralf, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, and Martin Mohr. 2015.

2014

  • “Formal Verification of Voting Schemes.” Diplomarbeit, ITI Beckert, Karlsruhe Institute of Technology. Kirsten, Michael. 2014.

  • “Reasoning about Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods.” In 8th International Verification Workshop (VERIFY 2014) in Connection with IJCAR 2014: International Joint Conference on Automated Reasoning, edited by Serge Autexier and Bernhard Beckert. https://users.cecs.anu.edu.au/~rpg/Publications/VERIFY2014/verify14.pdf. Beckert, Bernhard, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Thomas Meumann. 2014.

2013

  • “Proving Well-Definedness of JML Specifications with KeY.” Studienarbeit, ITI Schmitt, Karlsruhe Institute of Technology. Kirsten, Michael. 2013.
To top