Search Sciweavers | Sciweavers

3228 search results - page 2 / 646

» Computationally Sound Proofs

click to vote

CSFW
2007
IEEE

145views Security Privacy» more CSFW 2007»

Computationally Sound Mechanized Proofs of Correspondence Assertions

13 years 11 months ago

Download www.di.ens.fr

We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...

Bruno Blanchet

claim paper

Read More »

click to vote

CCS
2008
ACM

104views Security Privacy» more CCS 2008»

Computationally sound mechanized proofs for basic and public-key Kerberos

13 years 6 months ago

Download www.math.upenn.edu

Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J...

claim paper

Read More »

click to vote

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

13 years 8 months ago

Download www.infsec.cs.uni-saarland.de

Michael Backes, Peeter Laud

claim paper

Read More »

click to vote

CSFW
2006
IEEE

146views Security Privacy» more CSFW 2006»

Computationally Sound Compositional Logic for Key Exchange Protocols

13 years 10 months ago

Download www.cs.bris.ac.uk

We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers