Follow
Michael Kirsten
Title
Cited by
Cited by
Year
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
432015
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
362021
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
352018
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
232020
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
132016
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
122017
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
122016
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
102017
Towards automatic argumentation about voting rules
M Kirsten, O Cailloux
4ème conférence sur les Applications Pratiques de l'Intelligence …, 2018
82018
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, ...
E-Vote-ID. Gesellschaft für Informatik (GI), 293-294, 2019
72019
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 TUD-CS-2017-0225, TU Darmstadt, 2017
62017
Reasoning about vote counting schemes using light-weight and heavy-weight methods
B Beckert, T Börmer, R Goré, M Kirsten, T Meumann
Proceedings, 8th International Verification Workshop (VERIFY) in connection …, 2014
62014
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
42018
An Introduction to Voting Rule Verification
B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann
Trends in Computational Social Choice, 269, 2017
42017
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
32019
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
32017
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
22020
Formal property-oriented design of voting rules using composable modules
K Diekhoff, M Kirsten, J Krämer
6th International Conference on Algorithmic Decision Theory (ADT 2019). LNAI …, 2019
22019
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20