Preprint
https://hal.archives-ouvertes.fr/hal-03772082
Slides at IETF-113
Computational model analysis
Slides at IETF-114
Computational analysis of EDHOC STAT-STAT