Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC).
Alessandro BruniThorvald Sahl JørgensenTheis Grønbech PetersenCarsten SchürmannPublished in: SSR (2018)
Keyphrases
- formal verification
- diffie hellman
- model checking
- standard model
- public key
- elliptic curve
- key exchange
- key exchange protocol
- signature scheme
- group communication
- encryption scheme
- security properties
- secret key
- secure communication
- key agreement protocol
- password based authenticated key exchange
- key distribution
- key management
- web services
- security analysis
- fault tolerance
- knowledge based systems
- artificial intelligence