Folgen
Michael Kirsten
Titel
Zitiert von
Zitiert von
Jahr
Card-Based Cryptography Meets Formal Verification
A Koch, M Schrempp, M Kirsten
New Generation Computing 39 (1), 115-158, 2021
452021
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
442015
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
372018
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
312020
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
132017
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
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
112017
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
112016
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
82019
Towards automatic argumentation about voting rules
M Kirsten, O Cailloux
4ème conférence sur les Applications Pratiques de l'Intelligence …, 2018
82018
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 225 (TUD-CS-2017), 2017
62017
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
Why Is Online Voting Still Largely a Black Box?
M Kirsten, M Volkamer, B Beckert
First International Workshop on Election Infrastructure Security (EIS 2022 …, 2023
52023
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
52018
An Introduction to Voting Rule Verification
B Beckert, T Bormer, R Goré, M Kirsten, C Schürmann
Trends in Computational Social Choice, 269-287, 2017
42017
Proving Well-Definedness of JML Specifications with KeY
M Kirsten
Karlsruhe Institute of Technology (KIT), 2013, 2013
4*2013
Understanding Counterexamples for Relational Properties with DIbugger
M Herda, M Kirsten, E Brunner, J Plewnia, U Scheler, C Staudenmaier, ...
Proceedings of the Sixth Workshop on Horn Clauses for Verification and …, 2019
32019
Combining Graph-Based and Deduction-Based Information-Flow Analysis
B Beckert, S Bischof, M Herda, M Kirsten, MK Büning
Hot Issues in Security Principles and Trust Hotspot 2017, 6-25, 2017
32017
Formal Foundations of Consistency in Model-Driven Development
R Pascual, B Beckert, M Ulbrich, M Kirsten, W Pfeifer
International Symposium on Leveraging Applications of Formal Methods ISoLA …, 2024
22024
Algorithmic Fairness and Secure Information Flow (Extended Abstract)
B Beckert, M Kirsten, M Schefczyk
European Workshop on Algorithmic Fairness ({EWAF} '22), Lightning round track, 2022
2*2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20