3115 search results - page 304 / 623 » Synthesizing Secure Protocols |
151
Voted
IJACT
2010
15 years 1 months ago
2010
: We look at message recognition protocols (MRPs) and prove that there is a oneto-one correspondence between stateless non-interactive MRPs and digital signature schemes. Next, we ...
177
click to vote
FOCS
2006
IEEE
16 years 23 days ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
171
click to vote
ISSA
2004
15 years 8 months ago
2004
This paper argues that powerful impetus exists for the realisation of a global multilateral electronic market infrastructure, as envisaged by the ebXML1 endeavour. Crucial in this...
204
click to vote
JOC
2007
15 years 6 months ago
2007
This paper is about the Oblivious Transfer in the distributed model proposed by M. Naor and B. Pinkas. In this setting a Sender has n secrets and a Receiver is interested in one o...
197
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...