Paper on symbolic analysis using Tamarin of draft-ietf-lake-edhoc-00
https://arxiv.org/pdf/2007.11427