Search Sciweavers | Sciweavers

1777 search results - page 20 / 356

» Programming Cryptographic Protocols

153

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

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

16 years 1 months ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

121

Voted

ASIAN
2007
Springer

76views Algorithms» more ASIAN 2007»

How to do Things with Cryptographic Protocols

16 years 26 days ago

Download www.qatar.cmu.edu

Joshua D. Guttman

claim paper

Read More »

143

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

16 years 5 days ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

143

click to vote

STACS
2004
Springer

100views Theoretical Computer Science» more STACS 2004»

Automata-Based Analysis of Recursive Cryptographic Protocols

16 years 1 days ago

Download dimacs.rutgers.edu

Ralf Küsters, Thomas Wilke

claim paper

Read More »

118

click to vote

IPPS
2000
IEEE

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

A Method for Automatic Cryptographic Protocol Verification

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers