Search Sciweavers | Sciweavers

3228 search results - page 2 / 646

» Computationally Sound Proofs

117

click to vote

CSFW
2007
IEEE

145views Security Privacy» more CSFW 2007»

Computationally Sound Mechanized Proofs of Correspondence Assertions

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

15 years 3 months ago

Download www.math.upenn.edu

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

claim paper

Read More »

Voted

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

15 years 5 months ago

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

Michael Backes, Peeter Laud

claim paper

Read More »

117

Voted

CSFW
2006
IEEE

146views Security Privacy» more CSFW 2006»

Computationally Sound Compositional Logic for Key Exchange Protocols

15 years 8 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 »

Voted

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers