Search Sciweavers | Sciweavers

4850 search results - page 72 / 970

» Proof and Computation in Geometry

149

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

15 years 11 months ago

Download www.unirioja.es

Jónathan Heras, Vico Pascual, Julio Rubio

claim paper

Read More »

135

click to vote

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

15 years 10 months ago

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

Michael Backes, Peeter Laud

claim paper

Read More »

144

click to vote

CCS
2008
ACM

104views Security Privacy» more CCS 2008»

Computationally sound mechanized proofs for basic and public-key Kerberos

15 years 8 months ago

Download www.math.upenn.edu

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

claim paper

Read More »

114

click to vote

EUROCRYPT
2008
Springer

91views Cryptology» more EUROCRYPT 2008»

David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware

15 years 8 months ago

Download eprint.iacr.org

Tal Moran, Gil Segev

claim paper

Read More »

117

click to vote

ENTCS
1998

63views more ENTCS 1998»

Proof theory and computational analysis

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers