Login / Signup

Continuous Verification for Cryptographic Protocol Development.

Andres Molina-MarkhamPaul D. Rowe
Published in: SafeThings@SenSys (2017)
Keyphrases
  • cryptographic protocols
  • software engineering
  • e learning
  • information processing
  • development process
  • formal verification
  • verification method