Computational and Information-Theoretic Soundness and Completeness of Formal Encryption - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pedro Adão' in GoogleThis author has not been identified. Look up 'Gergei Bana' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in Google

runs on WebDSL