[IEEE 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - Boston, MA, USA (2020.6.22-2020.6.26)] 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) - A Method for Proving Unlinkability of Stateful Protocols
Baelde, David, Delaune, Stephanie, Moreau, SoleneYear:
2020
DOI:
10.1109/CSF49147.2020.00020
File:
PDF, 229 KB
2020