Veröffentlichungen (chronologisch gruppiert)
| Titel | Autor(en) | Quelle |
|---|---|---|
| Towards AI-assisted Correctness-by-Construction Software Development | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten und Ina Schaefer | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Software Engineering Methodologies, Teil Part IV |
| SoK: Mechanisms Used in Practice for Verifiable Internet Voting | Florian Moser, Michael Kirsten und Felix Dörre | 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024) Track 3: Election and Practical Experiences, Band P-359 |
| Formal Foundations of Consistency in Model-Driven Development | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten und Wolfram Pfeifer | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification, Teil Part III |
| Recommendations for Implementing Independent Individual Verifiability in Internet Voting | Florian Moser, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde und Melanie Volkamer | 9th International Joint Conference on Electronic Voting (E-Vote-ID 2024) Track 1: Security, Usability and Technical Issues, Band P-359 |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Why is Online Voting Still Largely a Black Box? | Michael Kirsten, Melanie Volkamer und 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 und 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) (Januar 2022) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp und Michael Kirsten | New Generation Computing 39(1) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Integration of Static and Dynamic Analysis Techniques for Checking Noninterference | Bernhard Beckert, Mihai Herda, Michael Kirsten und Shmuel Tyszberowicz | Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY, Teil 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 und Martina Zitterbart | Campustage 2020 „Lehre^Forschung-PLUS“ |
| Modular Verification of JML Contracts Using Bounded Model Checking | Bernhard Beckert, Michael Kirsten, Jonas Klamroth und Mattias Ulbrich | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), Teil I: Verification Principles |
| Verified Construction of Fair Voting Rules | Karsten Diekhoff, Michael Kirsten und Jonas Krämer | 29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019), Revised Selected Papers |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp und Michael Kirsten | 25th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2019), Teil I |
| Card-Based Cryptography Meets Formal Verification | Alexander Koch, Michael Schrempp und Michael Kirsten | IACR Cryptology ePrint Archive 2019(1037) |
| Formal Property-Oriented Design of Voting Rules Using Composable Modules | Karsten Diekhoff, Michael Kirsten und Jonas Krämer | 6th International Conference on Algorithmic Decision Theory (ADT 2019), Teil 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 und 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 und Bernhard Beckert | Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Formal Specification and Verification of Hyperledger Fabric Chaincode | Bernhard Beckert, Mihai Herda, Michael Kirsten und 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 und 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 und Olivier Cailloux | 4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| 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 und 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 und Mattias Ulbrich | Sixth International Workshop on Computational Social Choice (COMSOC 2016) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| A Hybrid Approach for Proving Noninterference of Java Programs | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten und 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 und Martin Mohr | IACR Cryptology ePrint Archive 2015(438) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Formal Verification of Voting Schemes | Michael Kirsten | ITI Beckert, Karlsruhe Institute of Technology (Dezember 2014) |
| Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods | Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten und Thomas Meumann | 8th International Verification Workshop (VERIFY 2014) in connection with IJCAR 2014: International Joint Conference on Automated Reasoning |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Proving Well-Definedness of JML Specifications with KeY | Michael Kirsten | ITI Schmitt, Karlsruhe Institute of Technology (November 2013) |