Search Sciweavers | Sciweavers

1777 search results - page 20 / 356

» Programming Cryptographic Protocols

147

Voted

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

16 years 24 days ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

118

click to vote

ASIAN
2007
Springer

76views Algorithms» more ASIAN 2007»

How to do Things with Cryptographic Protocols

16 years 17 days ago

Download www.qatar.cmu.edu

Joshua D. Guttman

claim paper

Read More »

140

Voted

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

15 years 12 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

138

Voted

STACS
2004
Springer

100views Theoretical Computer Science» more STACS 2004»

Automata-Based Analysis of Recursive Cryptographic Protocols

15 years 11 months ago

Download dimacs.rutgers.edu

Ralf Küsters, Thomas Wilke

claim paper

Read More »

114

Voted

IPPS
2000
IEEE

108views Distributed And Parallel Com...» more IPPS 2000»

A Method for Automatic Cryptographic Protocol Verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers