Cryptographically Sound Implementations for Communicating Processes

DOI10.1007/11787006_8MaRDI QIDQ3591442zbMATH OpenOpenAlexFDO

Authors P. 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)

Recommendations

• scientific article; zbMATH DE number 1500645
• Computational Secrecy by Typing for the Pi Calculus
• Cryptographically sound implementations for typed information-flow security
• Secure implementation of channel abstractions
• Secure implementations of typed channel abstractions

Cited in

(11)

• Secure Enforcement for Global Process Specifications
• Computational Secrecy by Typing for the Pi Calculus
• Secure implementation of asynchronous method calls and futures
• Security abstractions and intruder models (extended abstract)
• Secure implementations of typed channel abstractions
• Secure implementation of channel abstractions
• Dynamic management of capabilities in a network aware coordination language
• Trustworthy Global Computing
• A survey of symbolic methods in computational analysis of cryptographic systems
• Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library
• Proved generation of implementations from computationally secure protocol specifications

This page was built for publication: Cryptographically Sound Implementations for Communicating Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591442)