Pages that link to "Item:Q3591442"
From MaRDI portal
The following pages link to Cryptographically Sound Implementations for Communicating Processes (Q3591442):
Displayed 5 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Secure Implementation of Asynchronous Method Calls and Futures (Q2957110) (← links)
- Security Abstractions and Intruder Models (Extended Abstract) (Q5170668) (← links)
- Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library (Q5505478) (← links)