-
Comparing risk reductions: On the dynamic interplay of cognitive strategies, ...
International audience -
Brandt's Fully Private Auction Protocol Revisited
International audience -
Adding Integrity to the Ephemerizer's Protocol
We present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's tool-suite. This protocol allows transmitting a...
