Ruzica Piskac

Google Scholar
7 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge.
2022
conf/uss
ppSAT: Towards Two-Party Private SAT Solving.
Filters
Years:  to