349 search results - page 4 / 70 » Compositional Security for Task-PIOAs |
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
EUROCRYPT
2011
Springer
13 years 18 hour ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
CCS
2003
ACM
14 years 1 months ago
2003
ACM
OOPSLA
2000
Springer
14 years 3 days ago
2000
Springer