Sciweavers

22 search results - page 4 / 5
» Zero Knowledge and Soundness Are Symmetric
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
13 years 10 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the speciļ¬cation and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
CCR
2000
101views more  CCR 2000»
13 years 5 months ago
Knowledge-proof based versatile smart card verification protocol
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...
Dae Hun Nyang, Joo-Seok Song
FOCS
2009
IEEE
14 years 23 days ago
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy
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ļ...
Yi Deng, Vipul Goyal, Amit Sahai
ICCSA
2007
Springer
14 years 5 days ago
Provably Secure Framework for Information Aggregation in Sensor Networks
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
Mark Manulis, Jörg Schwenk
ITNG
2010
IEEE
13 years 4 months ago
Record Setting Software Implementation of DES Using CUDA
ā€”The increase in computational power of oļ¬€-the-shelf hardware oļ¬€ers more and more advantageous tradeoļ¬€s among eļ¬ƒciency, cost and availability, thus enhancing the feasibil...
Giovanni Agosta, Alessandro Barenghi, Fabrizio De ...