Pages that link to "Item:Q2945721"
From MaRDI portal
The following pages link to Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721):
Displaying 3 items.
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols (Q1887728) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Practical Formal Methods for Real World Cryptography (Invited Talk) (Q5875633) (← links)