Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+.

Elsa Lpez Prez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade, Vaishnavi Sundararajan, Malisa Vucinic

Browse the full AsiaCCS paper archive.