Ephemeral Diffie-Hellman Over COSE (EDHOC) aims at being a very compact and lightweight authenticated key exchange with ephemeral keys. It is expected to provide mutual authentication, forward secrecy, identity protection, 128-bit security level. A formal analysis has already been proposed SECRYPT ’21, on former version, leading some improvements, in the ongoing evaluation process by IETF. Unfo...

This paper proposes a Model-Driven Architecture approach for the development of an embedded system validation platform namely Model-Based Security Analysis Embedded Systems (MBSAES). The security properties are formally modeled and verified at early stage design process system, which helps to reduce late errors time. A separation attack scenarios from implementation details has been respected...