Publications (grouped chronologically)
| Title | Author(s) | Source |
|---|---|---|
| Towards AI-assisted Correctness-by-Construction Software Development | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, and Ina Schaefer | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Software Engineering Methodologies, Part Part IV |
| SoK: Mechanisms Used in Practice for Verifiable Internet Voting | Florian Moser, Michael Kirsten, and Felix Dörre | 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024) Track 3: Election and Practical Experiences, Volume P-359 |
| Formal Foundations of Consistency in Model-Driven Development | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, and Wolfram Pfeifer | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification, Part Part III |
| Recommendations for Implementing Independent Individual Verifiability in Internet Voting | Florian Moser, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, and Melanie Volkamer | 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024) Track 1: Security, Usability and Technical Issues, Volume P-359 |
| Title | Author(s) | Source |
|---|---|---|
| Why is Online Voting Still Largely a Black Box? | Michael Kirsten, Melanie Volkamer, and Bernhard Beckert | First International Workshop on Election Infrastructure Security (EIS 2022) in conjunction with ESORICS 2022: European Symposium on Research in Computer Security |
| Algorithmic Fairness and Secure Information Flow (Extended Abstract) | Bernhard Beckert, Michael Kirsten, and Michael Schefczyk | European Workshop on Algorithmic Fairness (EWAF '22), Lightning round track |
| Formal Methods for Trustworthy Voting Systems | Michael Kirsten | Karlsruhe Institute of Technology (KIT) (January 2022) |
| Title | Author(s) | Source |
|---|---|---|
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp, and Michael Kirsten | New Generation Computing 39(1) |
| Title | Author(s) | Source |
|---|---|---|
| Integration of Static and Dynamic Analysis Techniques for Checking Noninterference | Bernhard Beckert, Mihai Herda, Michael Kirsten, and Shmuel Tyszberowicz | Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY, Part V: Integration of Verification Techniques |
| Problemorientierte, forschungsorientierte und interdisziplinäre Lehre in der Informatik | Michael Kirsten, Robert Bauer, Andreas Fried, Bernhard Beckert, Michael Beigl, Gregor Snelting, and Martina Zitterbart | Campustage 2020 „Lehre^Forschung-PLUS“ |
| Modular Verification of JML Contracts Using Bounded Model Checking | Bernhard Beckert, Michael Kirsten, Jonas Klamroth, and Mattias Ulbrich | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), Part I: Verification Principles |
| Verified Construction of Fair Voting Rules | Karsten Diekhoff, Michael Kirsten, and Jonas Krämer | 29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019), Revised Selected Papers |
| Title | Author(s) | Source |
|---|---|---|
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp, and Michael Kirsten | 25th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2019), Part I |
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp, and Michael Kirsten | IACR Cryptology ePrint Archive 2019(1037) |
| Formal Property-Oriented Design of Voting Rules Using Composable Modules | Karsten Diekhoff, Michael Kirsten, and Jonas Krämer | 6th International Conference on Algorithmic Decision Theory (ADT 2019), Part Short Papers |
| GI Elections with POLYAS: a Road to End-to-End Verifiable Elections | Bernhard Beckert, 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 | Fourth International Joint Conference on Electronic Voting (E-Vote-ID 2019) |
| Understanding Counterexamples for Relational Properties with DIbugger | Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, and Bernhard Beckert | Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019) |
| Title | Author(s) | Source |
|---|---|---|
| Formal Specification and Verification of Hyperledger Fabric Chaincode | Bernhard Beckert, Mihai Herda, Michael Kirsten, and Jonas Schiffl | 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM 2018: the 20th International Conference on Formal Engineering Methods |
| Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning | 20th International Conference on Formal Engineering Methods - Formal Methods and Software Engineering (ICFEM 2018) |
| Towards automatic argumentation about voting rules | Michael Kirsten and Olivier Cailloux | 4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018) |
| Title | Author(s) | Source |
|---|---|---|
| A Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation | Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert, and Birgit Vogel‑Heuser | IEEE International Symposium on Assembly and Manufacturing (ISAM 2016) |
| Automated Verification for Functional and Relational Properties of Voting Rules | Bernhard Beckert, Thorsten Bormer, Michael Kirsten, Till Neuber, and Mattias Ulbrich | Sixth International Workshop on Computational Social Choice (COMSOC 2016) |
| Title | Author(s) | Source |
|---|---|---|
| A Hybrid Approach for Proving Noninterference of Java Programs | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, and Martin Mohr | 28th IEEE Computer Security Foundations Symposium (CSF 2015) |
| A Hybrid Approach for Proving Noninterference of Java Programs | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, and Martin Mohr | IACR Cryptology ePrint Archive 2015(438) |
| Title | Author(s) | Source |
|---|---|---|
| Formal Verification of Voting Schemes | Michael Kirsten | ITI Beckert, Karlsruhe Institute of Technology (December 2014) |
| Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods | Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Thomas Meumann | 8th International Verification Workshop (VERIFY 2014) in connection with IJCAR 2014: International Joint Conference on Automated Reasoning |
| Title | Author(s) | Source |
|---|---|---|
| Proving Well-Definedness of JML Specifications with KeY | Michael Kirsten | ITI Schmitt, Karlsruhe Institute of Technology (November 2013) |