233 search results - page 26 / 47 » Interactive Proofs For Quantum Computations |
124
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
CCR
2000
14 years 11 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
EUC
2007
Springer
15 years 5 months ago
2007
Springer
There are many research efforts that focus on converting everyday environments into intelligent and computationally active environments that support and enhance the abilities of it...
128
click to vote
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
100
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...