Automated proofs for asymmetric encryption

DOI10.1007/S10817-010-9186-XzbMATH Open1213.94094OpenAlexW2072824406WikidataQ121186469 ScholiaQ121186469MaRDI QIDQ540682FDOQ540682

Judicaël Courant, Yassine Lakhnech, Pascal Lafourcade, M. Daubignard, Cristian Ene

Publication date: 3 June 2011

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9186-x

zbMATH Keywords

automated verificationHoare logicprovable cryptographyasymmetric encryption

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Formal certification of code-based cryptographic proofs
• New directions in cryptography
• Title not available (Why is that?)
• Automated Security Proofs with Sequences of Games
• Zero-knowledge proofs of identity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• OAEP reconsidered
• A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
• Title not available (Why is that?)
• Automated Reasoning
• Types for Proofs and Programs

Cited In (4)

• Automated proofs of block cipher modes of operation
• A Calculus for Game-Based Security Proofs
• Automating Computational Proofs for Public-Key-Based Key Exchange
• Beyond Provable Security Verifiable IND-CCA Security of OAEP

   Recommendations

• Automated proofs for asymmetric encryption 👍 👎
• Automated Security Proofs with Sequences of Games 👍 👎
• Automated security proof for symmetric encryption modes 👍 👎
• Title not available (Why is that?) 👍 👎
• Computer-aided cryptographic proofs 👍 👎

This page was built for publication: Automated proofs for asymmetric encryption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q540682)