Interactive theorem provers (ITPs), such as Lean and Coq, can express formal proofs for a
large category of theorems, from abstract math to software correctness. Consider Alice who …

Zero-knowledge (ZK) protocols enable one party to prove to others that it knows a fact
without revealing any information about the evidence for such knowledge. There exist ZK …

Combinatorial problems usually have a large search space, and almost all classical
algorithms for solving this class of problems are inefficient for real-life input sizes. Quantum …

Abstract In the Zero-Knowledge Proof (ZKP) of a disjunctive statement,\(\mathcal {P}\)
and\(\mathcal {V}\) agree on B fan-in 2 circuits\(\mathcal {C} _0,\ldots,\mathcal {C} _ {B-1}\) …

Motivated by the privacy requirements in network intrusion detection and DNS policy
checking, we have developed a suite of protocols and algorithms for regular expression …

Due to the globalization of the semiconductor supply chain, chip fabrication now involves
multiple parties, including intellectual property (IP) vendors and Electronic Design …

Localization is a computer vision task by which the position and orientation of a camera is
determined from an image and environmental map. We propose a method for performing …

Regular expression (regex) is a powerful tool to efficiently search patterns in text strings.
However, it is common when the regex and string are privately held by different parties who …

The increasing complexity of software systems presents a growing challenge to the societal
and legal governance of modern technology. Understanding how algorithmic decisions are …

Software and hardware systems can exhibit undesirable behaviors that can have
catastrophic consequences. To address this, formal methods techniques provide a wide …