Sign in

Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim KobeissiGeorgio NicolasMukesh Tiwari
Published in: CCSW@CCS (2020)
Keyphrases
  • real world
  • data sets
  • data analysis
  • real time
  • case study
  • wide range
  • statistical analysis
  • smart card
  • cryptographic protocols