233 search results - page 19 / 47 » Interactive Proofs For Quantum Computations |
101
click to vote
EUROCRYPT
1995
Springer
15 years 3 months ago
1995
Springer
We coiisider a situation where two parties, Alice and Bob, share a common secret string arid would like to mutually check their knowledge of that string. We describe a simple and e...
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
102
click to vote
CRYPTO
2008
Springer
15 years 1 months ago
2008
Springer
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
112
click to vote
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
108
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...