C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Daniel Luick
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Logic Programs
High Level
Knowledge Based Systems
Knowledge Extraction
Top Venues
IACR Cryptol. ePrint Arch.
</>
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.
IACR Cryptol. ePrint Arch.
2023 (2023)