4099 search results - page 20 / 820 » A Framework for Interactive Proof |
102
Voted
STOC
2000
ACM
2000
ACM
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
15 years 5 months ago
76
Voted
COCO
2008
Springer
15 years 3 months ago
2008
Springer
119
Voted
FOCS
2008
IEEE
15 years 3 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
91
Voted
ASE
2005
15 years 1 months ago
2005
CCS
1999
ACM
15 years 6 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...