Pedro Adão, Gergei Bana, Andre Scedrov. Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. In 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France. pages 170-184, IEEE Computer Society, 2005. [doi]
@inproceedings{AdaoBS05,
title = {Computational and Information-Theoretic Soundness and Completeness of Formal Encryption},
author = {Pedro Adão and Gergei Bana and Andre Scedrov},
year = {2005},
doi = {10.1109/CSFW.2005.13},
url = {http://dx.doi.org/10.1109/CSFW.2005.13},
tags = {completeness},
researchr = {https://researchr.org/publication/AdaoBS05},
cites = {0},
citedby = {0},
pages = {170-184},
booktitle = {18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-2340-4},
}