The following pages link to (Q5144673):
Displaying 7 items.
- Verification of cryptographic protocols: tagging enforces termination (Q1770413) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Validating Security Protocols under the General Attacker (Q3184711) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)
- Probabilistic relational verification for cryptographic implementations (Q5408416) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5925546) (← links)