Michael Kirsten
Zitiert von
Zitiert von
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
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 ICFEM, 2018
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
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
Reasoning about vote counting schemes using light-weight and heavy-weight methods
B Beckert, T Börmer, R Goré, M Kirsten, T Meumann
Proc. VERIFY 2014: Workshop associated with IJCAR 2014, 2014
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
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
Towards automatic argumentation about voting rules
M Kirsten, O Cailloux
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
Proving well-definedness of JML specifications with KeY
M Kirsten
Studienarbeit, KIT, 254, 2013
Card-Based Cryptography Meets Formal Verification
A Koch, M Schrempp, M Kirsten
International Conference on the Theory and Application of Cryptology and …, 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
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
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
Using theorem provers to increase the precision of dependence analysis for information flow control
B Beckert, S Bischof, M Herda, M Kirsten, MK Büning
International Conference on Formal Engineering Methods, 284-300, 2018
An Introduction to Voting Rule Verification
B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann
Trends in Computational Social Choice, 269, 2017
Verified Construction of Fair Voting Rules
K Diekhoff, M Kirsten, J Krämer
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
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
Formal Verification of Voting Schemes
M Kirsten
National Research Center, 2014
Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
A Demel, M Kirsten
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20