Sciweavers

3115 search results - page 9 / 623

» Synthesizing Secure Protocols

95

Voted

CCS
1998
ACM

82views Security Privacy» more CCS 1998»

Public-Key Cryptography and Password Protocols

15 years 7 months ago

Public-Key Cryptography and Password Protocols

Download www.cparity.com

Shai Halevi, Hugo Krawczyk

claim paper

Read More »

96

CSFW
1997
IEEE

84views Security Privacy» more CSFW 1997»

Mechanized proofs for a recursive authentication protocol

15 years 7 months ago

Mechanized proofs for a recursive authentication protocol

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

75

Voted

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

15 years 7 months ago

A Calculus for Cryptographic Protocols: The Spi Calculus

Download www.hpl.hp.com

Martín Abadi, Andrew D. Gordon

claim paper

Read More »

111

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

15 years 7 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

102

CCS
1993
ACM

97views Security Privacy» more CCS 1993»

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

15 years 7 months ago

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

Download cseweb.ucsd.edu

Mihir Bellare, Phillip Rogaway

claim paper

Read More »

« Prev « First page 9 / 623 Last » Next »