Search Sciweavers | Sciweavers

1777 search results - page 20 / 356

» Programming Cryptographic Protocols

117

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

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

15 years 10 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

15 years 10 months ago

Download www.qatar.cmu.edu

Joshua D. Guttman

claim paper

Read More »

119

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

15 years 10 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

110

click to vote

STACS
2004
Springer

100views Theoretical Computer Science» more STACS 2004»

Automata-Based Analysis of Recursive Cryptographic Protocols

15 years 9 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers