-
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the... -
KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems
International audience
