Seguir
Michael Kirsten
Título
Citado por
Citado por
Año
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
372021
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
242020
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
Algorithmic Fairness and Secure Information Flow
B Beckert, M Kirsten, M Schefczyk
Heitz, C.; Hertweck, C.; Vigano, E, 2022
22022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20