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 |
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 |
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 |
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) |
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) |
Formal Fairness Properties in Network Routing
Based on a Resource Allocation Model | Almut Demel und Michael Kirsten | 9th Workshop on Logical Aspects of
Multi-Agent Systems (LAMAS 2017)
affiliated with CSL 2017: the 26th EACSL
Annual Conference on Computer Science Logic |
Generalized Test Tables: A Powerful and Intuitive
Specification Language for Reactive Systems | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert und Birgit Vogel‑Heuser | 15th IEEE International Conference on Industrial
Informatics (INDIN 2017) |
Combining Graph-Based and Deduction-Based Information-Flow Analysis | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten und Marko Kleine Büning | 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 |
Automatic Margin Computation for Risk-Limiting Audits | Bernhard Beckert, Michael Kirsten, Vladimir Klebanov und Carsten Schürmann | First International Joint Conference on Electronic Voting
– formerly known as EVOTE and VoteID (E-Vote-ID 2016) |
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) |
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) |
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 |