1. Lecture Notes in Computer Science;M Bellare,2006
2. Lecture Notes in Computer Science;A Bruni,2018
3. Cheval, V., Jacomme, C., Kremer, S., Künnemann, R.: SAPIC+: protocol verifiers of the world, unite! In: USENIX Security Symposium (USENIX Security) (2022)
4. Cottier, B., Pointcheval, D.: Security Analysis of Improved EDHOC Protocol. https://hal.inria.fr/hal-03772082
5. Davis, H., Günther, F.: Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols. Cryptology ePrint Archive, Report 2020/1029 (2020). https://eprint.iacr.org/2020/1029