Redesigning Secure Protocols to Compel Grammatical Compliance Checking

Keith Irwin. Redesigning Secure Protocols to Compel Grammatical Compliance Checking. In 2018 IEEE Security and Privacy Workshops, SP Workshops 2018, San Francisco, CA, USA, May 24, 2018. pages 299-305, IEEE, 2018. [doi]

Abstract

Abstract is missing.