2013-604
Topic | Replies | Views | Activity | |
---|---|---|---|---|
[Resource Topic] 2013/604: Modelling Time, or A Step Towards Reduction-based Security Proofs for OTP and Kerberos | 0 | 32 | July 30, 2022 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
[Resource Topic] 2013/604: Modelling Time, or A Step Towards Reduction-based Security Proofs for OTP and Kerberos | 0 | 32 | July 30, 2022 |