Sciweavers

3115 search results - page 9 / 623

» Synthesizing Secure Protocols

16

CCS
1998
ACM

82views Security Privacy» more CCS 1998»

Public-Key Cryptography and Password Protocols

13 years 12 months ago

Public-Key Cryptography and Password Protocols

Download www.cparity.com

Shai Halevi, Hugo Krawczyk

claim paper

Read More »

23

CSFW
1997
IEEE

84views Security Privacy» more CSFW 1997»

Mechanized proofs for a recursive authentication protocol

13 years 12 months ago

Mechanized proofs for a recursive authentication protocol

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

15

CCS
1997
ACM

99views Security Privacy» more CCS 1997»

A Calculus for Cryptographic Protocols: The Spi Calculus

13 years 12 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 »

19

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

13 years 12 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

19

CCS
1993
ACM

97views Security Privacy» more CCS 1993»

Random Oracles are Practical: A Paradigm for Designing Efficient Protocols

13 years 12 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 »