Publications

2025

  • Pascual, Romain, Arne Lange, Thomas Weber, Lars König, Michael Kirsten, and Terru Stübinger. 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.

2024

  • Pascual, Romain, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer. 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.

  • Moser, Florian, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, and Melanie Volkamer. 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, Michael Kirsten, and Felix Dörre. 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.

  • Kodetzki, Maximilian, Tabea Bordis, Michael Kirsten, and Ina Schaefer. 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.

2023

  • Volkamer, Melanie, David Duenas-Cid, Peter B. Rønne, et al., eds.
    1. E-Vote-ID 2023: Eight International Joint Conference on Electronic Voting. 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.

2022

  • Beckert, Bernhard, Michael Kirsten, and Michael Schefczyk. 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.

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

  • Kirsten, Michael, Melanie Volkamer, and Bernhard Beckert. 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, et al., vol. 13785, 13785. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-031-25460-4_32.

2021

  • Koch, Alexander, Michael Schrempp, and Michael Kirsten. 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.

2020

  • Beckert, Bernhard, Mihai Herda, Michael Kirsten, and Shmuel Tyszberowicz. 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 , 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, Michael Kirsten, Jonas Klamroth, and Mattias Ulbrich. 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.

  • Kirsten, Michael, Robert Bauer, Andreas Fried, et al. 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.

2019

  • Diekhoff, Karsten, Michael Kirsten, and Jonas Krämer. 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.

  • Koch, Alexander, Michael Schrempp, and Michael Kirsten. 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.

  • Diekhoff, Karsten, Michael Kirsten, and Jonas Krämer. 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.

  • Beckert, Bernhard, Achim Brelle, Rüdiger Grimm, et al. 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, et al. Proceedings e-Vote-ID 2019. TalTech Press. https://digi.lib.ttu.ee/i/?13563.

  • Herda, Mihai, Michael Kirsten, Etienne Brunner, et al. 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.

2018

  • Beckert, Bernhard, Mihai Herda, Michael Kirsten, and Jonas Schiffl.

    1. “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/.

  • Kirsten, Michael, and Olivier Cailloux. 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.

  • Beckert, Bernhard, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning. 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, 11232. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-030-02450-5_17.

2017

  • Beckert, Bernhard, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Carsten Schürmann. 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, Michael Kirsten, Vladimir Klebanov, 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, et al., vol. 10141, 10141. Lecture Notes in Computer Science. Springer. https://doi.org/10.1007/978-3-319-52240-1_2.

  • Beckert, Bernhard, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning. 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.

  • Demel, Almut, and Michael Kirsten. 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.

  • Weigl, Alexander, Franziska Wiebe, Mattias Ulbrich, et al. 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.

  • Bauereiß, Thomas, Simon Greiner, Mihai Herda, et al. 2017. RIFL 1.1: A Common Specification Language for Information-Flow Requirements. TUD-CS-2017-0225. TU Darmstadt.

2016

  • Ulewicz, Sebastian, Mattias Ulbrich, Alexander Weigl, et al. 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.

  • Beckert, Bernhard, Thorsten Bormer, Michael Kirsten, Till Neuber, and Mattias Ulbrich. 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.

2015

  • Küsters, Ralf, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, and Martin Mohr. 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.

2014

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

  • Beckert, Bernhard, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Thomas Meumann. 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.

2013

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