Login / Signup

Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models.

Camille SivelleLorys DebbahMaxime PuysPascal LafourcadeThibault Franco-Rondisson
Published in: NordSec (2022)
Keyphrases
  • security protocols
  • cryptographic protocols
  • probabilistic model
  • security flaws
  • chosen plaintext