Login / Signup
Daniel Luick
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Higher Level
Case Based Reasoning
Knowledge Extraction
Knowledge Based Systems
Top Venues
IACR Cryptol. ePrint Arch.
USENIX Security Symposium
</>
Publications
</>
Daniel Luick
,
John C. Kolesar
,
Timos Antonopoulos
,
William R. Harris
,
James Parker
,
Ruzica Piskac
,
Eran Tromer
,
Xiao Wang
,
Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
USENIX Security Symposium
(2024)
Daniel Luick
,
John C. Kolesar
,
Timos Antonopoulos
,
William R. Harris
,
James Parker
,
Ruzica Piskac
,
Eran Tromer
,
Xiao Wang
,
Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
IACR Cryptol. ePrint Arch.
2023 (2023)