The following pages link to Programming Languages and Systems (Q5316563):
Displaying 14 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- A computational interpretation of Dolev-Yao adversaries (Q557888) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- Reconciling two views of cryptography (The computational soundness of formal encryption) (Q1601823) (← links)
- Computational soundness of symbolic analysis for protocols using hash functions (Q2866733) (← links)
- Advances in Cryptology - CRYPTO 2003 (Q5428140) (← links)
- Global Computing (Q5464840) (← links)
- Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups (Q5505468) (← links)
- Information Security and Cryptology - ICISC 2003 (Q5714151) (← links)
- Automata, Languages and Programming (Q5716816) (← links)
- Formal Abstractions for Attested Execution Secure Processors (Q5738880) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)
- Theory of Cryptography (Q5901769) (← links)