Login / Signup
Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP.
William Aiello
Sandeep N. Bhatt
Rafail Ostrovsky
Sivaramakrishnan Rajagopalan
Published in:
ICALP (2000)
Keyphrases
</>
formal proof
computational complexity
np complete
theorem proving
model checking
database
face verification
concurrent systems
case study
lower bound
evolutionary algorithm
signature verification
formal verification
decision procedures
person identification
mathematical proofs