| 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 | 43 | 2015 |
| Card-based cryptography meets formal verification A Koch, M Schrempp, M Kirsten New Generation Computing 39 (1), 115-158, 2021 | 38 | 2021 |
| 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 | 27 | 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), 1-4, 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, 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 |
| 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 |
| Why Is Online Voting Still Largely a Black Box? M Kirsten, M Volkamer, B Beckert European Symposium on Research in Computer Security, 555-567, 2022 | 4 | 2022 |
| An Introduction to Voting Rule Verification B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann Trends in Computational Social Choice, 269, 2017 | 4 | 2017 |
| Proving well-definedness of JML specifications with KeY M Kirsten Karlsruher Institut für Technologie (KIT), 2013 | 4* | 2013 |
| Understanding counterexamples for relational properties with DIbugger M Herda, M Kirsten, E Brunner, J Plewnia, U Scheler, C Staudenmaier, ... arXiv preprint arXiv:1907.03996, 2019 | 3 | 2019 |
| Combining graph-based and deduction-based information-flow analysis B Beckert, S Bischof, M Herda, M Kirsten, MK Büning Security Principles and Trust Hotspot 2017, 2017 | 3 | 2017 |
| Algorithmic Fairness and Secure Information Flow B Beckert, M Kirsten, M Schefczyk Heitz, C.; Hertweck, C.; Vigano, E, 2022 | 2 | 2022 |
| Integration of Static and Dynamic Analysis Techniques for Checking Noninterference B Beckert, M Herda, M Kirsten, S Tyszberowicz Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 2 | 2020 |
Bernhard BeckertProfessor of Informatics, Karlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
