Login / Signup

Scrutinizing the Vulnerability of Ephemeral Diffie-Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches.

Jiyoon KimDaniel Gerbi DugumaSangmin LeeBonam KimJaeDeok LimIlsun You
Published in: Mob. Inf. Syst. (2021)
Keyphrases
  • diffie hellman
  • real time
  • lightweight
  • computing environments
  • formal methods