| Card-Based Cryptography Meets Formal Verification A Koch, M Schrempp, M Kirsten New Generation Computing 39 (1), 115-158, 2021 | 45 | 2021 |
| A Hybrid Approach for Proving Noninterference of Java Programs R Küsters, T Truderung, B Beckert, D Bruns, M Kirsten, M Mohr 2015 IEEE 28th Computer Security Foundations Symposium, 305-319, 2015 | 44 | 2015 |
| Formal Specification and Verification of Hyperledger Fabric Chaincode B Beckert, M Herda, M Kirsten, J Schiffl 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with …, 2018 | 37 | 2018 |
| Modular Verification of JML Contracts Using Bounded Model Checking B Beckert, M Kirsten, J Klamroth, M Ulbrich Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 31 | 2020 |
| Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems A Weigl, F Wiebe, M Ulbrich, S Ulewicz, S Cha, M Kirsten, B Beckert, ... 2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017 | 13 | 2017 |
| A Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation S Ulewicz, M Ulbrich, A Weigl, M Kirsten, F Wiebe, B Beckert, ... 2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), 19-25, 2016 | 12 | 2016 |
| Automatic Margin Computation for Risk-Limiting Audits B Beckert, M Kirsten, V Klebanov, C Schürmann Electronic Voting: First International Joint Conference, E-Vote-ID 2016 …, 2017 | 11 | 2017 |
| Automated Verification for Functional and Relational Properties of Voting Rules B Beckert, T Bormer, M Kirsten, T Neuber, M Ulbrich Sixth International Workshop on Computational Social Choice (COMSOC 2016), 73, 2016 | 11 | 2016 |
| GI Elections with POLYAS: a Road to End-to-End Verifiable Elections B Beckert, A Brelle, R Grimm, N Huber, M Kirsten, R Küsters, ... Fourth International Joint Conference on Electronic Voting (E-Vote-ID 2019 …, 2019 | 8 | 2019 |
| Towards automatic argumentation about voting rules M Kirsten, O Cailloux 4ème conférence sur les Applications Pratiques de l'Intelligence …, 2018 | 8 | 2018 |
| RIFL 1.1: A Common Specification Language for Information-Flow Requirements T Bauereiß, S Greiner, M Herda, M Kirsten, X Li, H Mantel, M Mohr, ... Technical Report. TU Darmstadt. 46.12. 03; LK 01 225 (TUD-CS-2017), 2017 | 6 | 2017 |
| Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods B Beckert, T Bormer, R Goré, M Kirsten, T Meumann Proceedings, 8th International Verification Workshop (VERIFY) in connection …, 2014 | 6 | 2014 |
| Why Is Online Voting Still Largely a Black Box? M Kirsten, M Volkamer, B Beckert First International Workshop on Election Infrastructure Security (EIS 2022 …, 2023 | 5 | 2023 |
| Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control B Beckert, S Bischof, M Herda, M Kirsten, M Kleine Büning Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 5 | 2018 |
| An Introduction to Voting Rule Verification B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann Trends in Computational Social Choice, 269-287, 2017 | 4 | 2017 |
| Proving Well-Definedness of JML Specifications with KeY M Kirsten Karlsruhe Institute of Technology (KIT), 2013, 2013 | 4* | 2013 |
| Understanding Counterexamples for Relational Properties with DIbugger M Herda, M Kirsten, E Brunner, J Plewnia, U Scheler, C Staudenmaier, ... Proceedings of the Sixth Workshop on Horn Clauses for Verification and …, 2019 | 3 | 2019 |
| Combining Graph-Based and Deduction-Based Information-Flow Analysis B Beckert, S Bischof, M Herda, M Kirsten, MK Büning Hot Issues in Security Principles and Trust Hotspot 2017, 6-25, 2017 | 3 | 2017 |
| Formal Foundations of Consistency in Model-Driven Development R Pascual, B Beckert, M Ulbrich, M Kirsten, W Pfeifer International Symposium on Leveraging Applications of Formal Methods ISoLA …, 2024 | 2 | 2024 |
| Algorithmic Fairness and Secure Information Flow (Extended Abstract) B Beckert, M Kirsten, M Schefczyk European Workshop on Algorithmic Fairness ({EWAF} '22), Lightning round track, 2022 | 2* | 2022 |
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of TechnologyVerified email at kit.edu