Junrui Liu

1. Certifying Zero-Knowledge Circuits with Refinement Types
   2023/04/15 by Junrui Liu, Liu, Junrui, Ian Kretz +17 · 1 citation
   Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing