3751 search results - page 11 / 751 » Events in security protocols |
111
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
134
Voted
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
96
Voted
ACISP
2009
Springer
15 years 10 months ago
2009
Springer
102
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
94
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE