Neural networks (NNs) have become one of the most important tools for artificial
intelligence. Well-designed and trained NNs can perform inference (eg, make decisions or …

Zero knowledge proofs are an important building block in many cryptographic applications.
Unfortunately, when the proof statements become very large, existing zero-knowledge proof …

A zk-SNARK is a powerful cryptographic primitive that provides a succinct and efficiently
checkable argument that the prover has a witness to a public NP statement, without …

Abstract Zero-Knowledge (ZK) Proofs for disjunctive statements have been a focus of a long
line of research. Classical results such as Cramer et al.[CRYPTO'94] and Abe et al.[AC'02] …

Building on recent compilers for efficient disjunctive composition (eg an OR of multiple
clauses) of zero-knowledge proofs (eg Goel et al.[EUROCRYPT'22]) we propose a new …

Garbled Circuit (GC) is the main practical 2PC technique, yet despite great interest in its
performance, GC notoriously resists improvement. Essentially, we only know how to …

Garbled Circuit (GC) is a basic technique for practical secure computation. GC handles
Boolean circuits; it consumes significant network bandwidth to transmit encoded gate truth …

In MPC, we usually represent programs as circuits. This is a poor fit for programs that use
complex control flow, as it is costly to compile control flow to circuits. This motivated prior …

Password-based authentication is widely applied in Internet of Things (IoT). It allows IoT
devices to identify users with passwords to resist unauthorized access. However, choices of …

Due to standardization, AES is today's most widely used block cipher. Its security is well-
studied and hardware acceleration is available on a variety of platforms. Following the …