3115 search results - page 127 / 623 » Synthesizing Secure Protocols |
162
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
141
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
134
Voted
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
119
click to vote
ACNS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present an efficient implementation of the Orlandi protocol which is the first implementation of a protocol for multiparty computation on arithmetic circuits, which is...
104
click to vote
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A secure failure-localization path-quality-monitoring (FLPQM) protocols allows a sender to localize faulty links on a single path through a network to a receiver, even wh...