Search Sciweavers | Sciweavers

1777 search results - page 20 / 356

» Programming Cryptographic Protocols

135

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

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

16 years 9 days ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

112

Voted

ASIAN
2007
Springer

76views Algorithms» more ASIAN 2007»

How to do Things with Cryptographic Protocols

16 years 2 days ago

Download www.qatar.cmu.edu

Joshua D. Guttman

claim paper

Read More »

135

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

15 years 11 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

132

click to vote

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 »

107

click to vote

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