1777 search results - page 51 / 356 » Programming Cryptographic Protocols |
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
SECPERU
2006
IEEE
14 years 2 months ago
2006
IEEE
The objective of this paper is to propose a cryptographic protocol which provides authenticity in the exchange of information between two entities without using any shared secret ...
ASIACRYPT
2003
Springer
14 years 10 days ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...
CRYPTO
2005
Springer
14 years 2 months ago
2005
Springer
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
IANDC
2008
13 years 7 months ago
2008
We show how to design secure authentication protocols for a non-standard class of scenarios. In these authentication is not bootstrapped from a PKI, shared secrets or trusted thir...