Xiao Wang

Google Scholar ORCID: 0000-0002-5991-7417
47 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
DFS: Delegation-friendly zkSNARK and Private Delegation of Provers.
2024
conf/uss
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
2024
conf/uss
Lightweight Authentication of Web Data via Garble-Then-Prove.
2022
conf/uss
ppSAT: Towards Two-Party Private SAT Solving.
2022
conf/asiacrypt
2021
conf/uss
Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning.
Filters
Years:  to