Computational Soundness of Coinductive Symbolic Security under Active Attacks

Abstract

In Eurocrypt 2010, Miccinacio initiated an investigation of cryptographically sound, symbolic security analysis with respect to coinductive adversarial knowledge, and demonstrated that under an adversarially passive model, certain security criteria (e.g. indistinguishability) may be given a computationally sound symbolic characterization, without the… (More)
DOI: 10.1007/978-3-642-36594-2_30

Topics

Cite this paper

@inproceedings{Hajiabadi2012ComputationalSO, title={Computational Soundness of Coinductive Symbolic Security under Active Attacks}, author={Mohammad Hajiabadi and Bruce M. Kapron}, booktitle={TCC}, year={2012} }