1401 search results - page 34 / 281 » Randomness in Interactive Proofs |
NECO
2008
15 years 1 months ago
2008
111
click to vote
SIAMCO
2010
14 years 8 months ago
2010
Abstract. This paper studies a class of non-Markovian and nonhomogeneous stochastic processes on a finite state space. Relying on a recent paper by Bena
124
click to vote
CRYPTO
2008
Springer
15 years 3 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...
211
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
118
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...