The following pages link to (Q3211248):
Displaying 7 items.
- Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols (Q1887728) (← links)
- LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001. (Q2375745) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- Cryptographic Protocol Explication and End-Point Projection (Q3533965) (← links)
- (Q4447230) (← links)
- Programming Languages and Systems (Q5308709) (← links)
- Practical Formal Methods for Real World Cryptography (Invited Talk) (Q5875633) (← links)
