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

(13)

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

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)