Login / Signup

Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca ArnaboldiRoberto Metere
Published in: CCS (2019)
Keyphrases
  • data centric
  • cryptographic protocols
  • formal verification
  • databases
  • data driven
  • model checking
  • standard model
  • web services
  • design process