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 ...
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...
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ļ...
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...
ā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 ...