Search Sciweavers | Sciweavers

783 search results - page 17 / 157

» On security proof of McCullagh

127

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

15 years 10 months ago

Download www.ccs.neu.edu

David S. Hardin, Eric W. Smith, William D. Young

claim paper

Read More »

112

click to vote

EUROCRYPT
2004
Springer

102views Cryptology» more EUROCRYPT 2004»

Security Proofs for Identity-Based Identification and Signature Schemes

15 years 9 months ago

Download eprint.iacr.org

Mihir Bellare, Chanathip Namprempre, Gregory Neven

claim paper

Read More »

104

click to vote

EUROCRYPT
2009
Springer

98views Cryptology» more EUROCRYPT 2009»

Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme

15 years 8 months ago

Download eprint.iacr.org

Mihir Bellare, Thomas Ristenpart

claim paper

Read More »

111

click to vote

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

15 years 6 months ago

Download www.aaai.org

Joseph Y. Halpern

claim paper

Read More »

106

click to vote

JCS
2010

64views more JCS 2010»

Finite models for formal security proofs

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers