Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver..:
, In:
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
2
QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
3
Boosting the Performance of High-Assurance Cryptography: Pa..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
4
Machine-checked ZKP for NP relations: Formally Verified Sec..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
6
Solving Bitvectors with MCSAT: Explanations from Bits and P..:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
9
A Proof-Theoretic Perspective on SMT-Solving for Intuitioni..:
, In:
?
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
12
Proofs in conflict-driven theory combination:
, In:
?
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice ,
14