345 search results - page 22 / 69 » Computer-Assisted Simulation Proofs |
141
click to vote
ASIACRYPT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
155
click to vote
CRYPTO
2011
Springer
14 years 2 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...
118
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veri...
127
Voted
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— We define “random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random wa...
106
Voted
FLAIRS
2004
15 years 3 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...