1059 search results - page 64 / 212 » Modeling Security Protocols as Games |
ENTCS
2006
15 years 15 days ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
94
Voted
TCC
2007
Springer
15 years 6 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
103
click to vote
SDM
2007
SIAM
15 years 1 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...
101
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
100
click to vote
TCC
2009
Springer
16 years 1 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...