Send email Copy Email Address
Postdoc

Benjamin Kiesl

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Benjamin Kiesl

Year 2020

Conference / Medium

USENIX-Security
Proceedings of the 29th USENIX Security Symposium29th USENIX Security Symposium (USENIX Security 20)

Conference / Medium

CCS
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (CCS ’20)CCS 2020

Year 2019

Conference / Medium

TACAS
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)

Article

Journal of Automated Reasoning

Conference / Medium

ATVA
17th International Symposium on Automated Technology for Verification and Analysis

Conference / Medium

SAT
International Conference on Theory and Applications of Satisfiability Testing