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
352015
Card-based cryptography meets formal verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
252021
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
202018
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
102017
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
102016
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
102016
Modular verification of JML contracts using bounded model checking
B Beckert, M Kirsten, J Klamroth, M Ulbrich
International Symposium on Leveraging Applications of Formal Methods, 60-80, 2020
92020
Towards automatic argumentation about voting rules
M Kirsten, O Cailloux
4ème conférence sur les Applications Pratiques de l'Intelligence …, 2018
72018
Automatic margin computation for risk-limiting audits
B Beckert, M Kirsten, V Klebanov, C Schürmann
International Joint Conference on Electronic Voting, 18-35, 2016
72016
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
62014
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
52017
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, ...
Proceedings E-Vote-ID 2019, 293-294, 2019
42019
Proving well-definedness of JML specifications with KeY
M Kirsten
Karlsruher Institut für Technologie (KIT), 2013
4*2013
Combining graph-based and deduction-based information-flow analysis
B Beckert, S Bischof, M Herda, M Kirsten, MK Büning
5th Workshop on B 1, 2017
32017
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
22019
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
International Conference on Formal Engineering Methods, 284-300, 2018
22018
An Introduction to Voting Rule Verification
B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann
Trends in Computational Social Choice, 269, 2017
22017
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
B Beckert, M Herda, M Kirsten, S Tyszberowicz
Deductive Software Verification: Future Perspectives, 287-312, 2020
12020
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
12019
Problemorientierte, forschungsorientierte und interdisziplinäre Lehre in der Informatik
M Kirsten, R Bauer, A Fried, B Beckert, M Beigl, G Snelting, M Zitterbart
2020
The system can't perform the operation now. Try again later.
Articles 1–20