Andres Molina-Markham, Paul D. Rowe. Continuous Verification for Cryptographic Protocol Development. In M. Rasit Eskicioglu, editor, Proceedings of the 1st ACM Workshop on the Internet of Safe Things, SafeThings@SenSys 2017, Delft, The Netherlands, November 5, 2017. pages 51-56, ACM, 2017. [doi]
Abstract is missing.