Cryptographically Sound Implementations for Communicating Processes

DOI10.1007/11787006_8zbMath1133.94342OpenAlexW1492649894MaRDI QIDQ3591442

Pedro Adão, Cédric Fournet

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_8

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items

Secure Implementation of Asynchronous Method Calls and Futures, Security Abstractions and Intruder Models (Extended Abstract), A survey of symbolic methods in computational analysis of cryptographic systems, Dynamic management of capabilities in a network aware coordination language, Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library