Our work on analyzing the EDHOC protocol was published in the CCIS book series by Springer. Access it here.