Computationally sound implementations of equational theories against passive adversaries
type: Item
instance of: scholarly article
title: Computationally sound implementations of equational theories against passive adversaries
zbMATH Open document ID: 1170.68016
author: Mathieu Baudet
author: Véronique Cortier
author: Steve Kremer
published in: Information and Computation
publication date: 2009-04-16T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 5544372
zbMATH Keywords: cryptographic models for security protocols
describes a project that uses: CiME
MaRDI profile type: Publication
full work available at URL: j.ic.2008.12.005
OpenAlex ID: W2141219978
cites work: Automata, Languages and Programming
cites work: On the security of public key protocols
cites work: Probabilistic encryption
cites work: Q4536407
cites work: Mobile values, new names, and secure communication
cites work: Analysing password protocol security against off-line dictionary attacks
cites work: Q2763667
cites work: Information Security and Cryptology - ICISC 2003
cites work: Soundness of Formal Encryption in the Presence of Key-Cycles
cites work: Symmetric Authentication within a Simulatable Cryptographic Library
cites work: Programming Languages and Systems
cites work: Theory of Cryptography
cites work: Quantifying Probabilistic Information Flow in Computational Reactive Systems
cites work: Foundations of Software Science and Computation Structures
cites work: The RSA Group is Pseudo-Free
cites work: Invertible Universal Hashing and the TET Encryption Mode
cites work: Q4941815
DOI: 10.1016/J.IC.2008.12.005
description: scientific article; zbMATH DE number 5544372