Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers. A tale of two models: formal verification of KEMTLS via Tamarin. IACR Cryptology ePrint Archive, 2022:1111, 2022. [doi]
@article{CeliHSW22, title = {A tale of two models: formal verification of KEMTLS via Tamarin}, author = {Sofía Celi and Jonathan Hoyland and Douglas Stebila and Thom Wiggers}, year = {2022}, url = {https://eprint.iacr.org/2022/1111}, researchr = {https://researchr.org/publication/CeliHSW22}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2022}, pages = {1111}, }