Continuous Verification for Cryptographic Protocol Development.

Andres Molina-Markham Paul D. Rowe

Published in: SafeThings@SenSys (2017)

Keyphrases

cryptographic protocols
software engineering
e learning
information processing
development process
formal verification
verification method