Login / Signup
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