A Computationally Complete Symbolic Attacker for Equivalence Properties

Article Details
Title:	A Computationally Complete Symbolic Attacker for Equivalence Properties
Article URLs:	https://doi.org/10.1145/2660267.2660276
Alternative Article URLs:
Authors:	Gergei Bana	INRIA Paris-Rocquencourt Paris, France
Authors:	Hubert Comon-Lundh	ENS Cachan Cachan, France, LSV
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/ccs/BanaC14
Author Comments:

ACM Computer and Communications Security, CCS 2014