Search Sciweavers | Sciweavers

1777 search results - page 20 / 356

» Programming Cryptographic Protocols

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

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

14 years 3 months ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

click to vote

ASIAN
2007
Springer

76views Algorithms» more ASIAN 2007»

How to do Things with Cryptographic Protocols

14 years 2 months ago

Download www.qatar.cmu.edu

Joshua D. Guttman

claim paper

Read More »

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

14 years 2 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

click to vote

STACS
2004
Springer

100views Theoretical Computer Science» more STACS 2004»

Automata-Based Analysis of Recursive Cryptographic Protocols

14 years 1 months ago

Download dimacs.rutgers.edu

Ralf Küsters, Thomas Wilke

claim paper

Read More »

click to vote

IPPS
2000
IEEE

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

A Method for Automatic Cryptographic Protocol Verification

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers