Automated proofs for asymmetric encryption
type: Item
instance of: scholarly article
title: Automated proofs for asymmetric encryption
zbMATH Open document ID: 1213.94094
author: Judicaël Courant
author: M. Daubignard
author: Cristian Ene
author: Pascal Lafourcade
author: Yassine Lakhnech
published in: Journal of Automated Reasoning
publication date: 2011-06-03T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5903832
zbMATH Keywords: provable cryptography
zbMATH Keywords: asymmetric encryption
zbMATH Keywords: automated verification
zbMATH Keywords: Hoare logic
MaRDI profile type: Publication
Wikidata QID: Q121186469
full work available at URL: s10817-010-9186-x
OpenAlex ID: W2072824406
cites work: Automated Reasoning
cites work: Q4249318
cites work: Formal certification of code-based cryptographic proofs
cites work: Automated Security Proofs with Sequences of Games
cites work: Q4365732
cites work: Types for Proofs and Programs
cites work: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
cites work: Q4035738
cites work: New directions in cryptography
cites work: Zero-knowledge proofs of identity
cites work: Q2724435
cites work: Q4950040
cites work: OAEP reconsidered
cites work: Q4412973
DOI: 10.1007/S10817-010-9186-X
description: scientific article; zbMATH DE number 5903832