The following pages link to On the security of recent protocols (Q672259):
Displaying 4 items.
- On the Clark-Jacob version of SPLICE/AS (Q287082) (← links)
- FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes (Q895004) (← links)
- Breaking and fixing public-key Kerberos (Q2482453) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)