Postdoc
Proceedings of the ACM Asia Conference on Computer and Communications Security
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+