The following pages link to Global Computing (Q5464840):
Displaying 8 items.
- A computational interpretation of Dolev-Yao adversaries (Q557888) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Publishing set-valued data against realistic adversaries (Q2637265) (← links)
- Virtual Grey-Boxes Beyond Obfuscation: A Statistical Security Notion for Cryptographic Agents (Q3181030) (← links)
- Optimal Secret Protections in Discrete-Event Systems (Q5092185) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- Foundations of Software Science and Computation Structures (Q5308472) (← links)