Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption

DOI10.1007/978-3-642-55220-5_38zbMath1328.68025OpenAlexW2226641133MaRDI QIDQ5418723

Morten Dahl, Ivan B. Damgård

Publication date: 27 May 2014

Published in: Advances in Cryptology – EUROCRYPT 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-55220-5_38

zbMATH Keywords

symbolic analysiscryptographic protocolshomomorphic encryptionsecurity analysisautomated analysiscomputational soundnessuniversal composition

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Network protocols (68M12)