USENIX-Security
Proceedings of the 29th USENIX Security Symposium29th USENIX Security Symposium (USENIX Security 20)
Journal of Automated Reasoning
CCS
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (CCS ’20)CCS 2020
CCS
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (CCS ’20)CCS 2020
TACAS
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
ATVA
17th International Symposium on Automated Technology for Verification and Analysis
SAT
International Conference on Theory and Applications of Satisfiability Testing