4
Publications
74
Citations
4
H-Index
2019
Active since
Affiliations
Benjamin Kiesl is an author at Helmholtz Center for Information Security specializing in engineering, computer science, and information forensics.
Top concepts
EngineeringComputer ScienceSecurityCryptographyData PrivacyVerificationData SecurityFormal MethodsSatisfiabilityMobile Computing
Publications per year
2019–2023
4
4
Strong Extension-Free Proof Systems
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere · Journal of Automated Reasoning · 2019 · 25 citations · Full text
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice
Cas Cremers, Jaiden Fairoze, Benjamin Kiesl et al. · 2020 · 17 citations · Full text
Armin Biere, Matti Järvisalo, Benjamin Kiesl · 2021 · 12 citations
Rows per page
1–4 of 4