Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

収録刊行物

• 2017 IEEE European Symposium on Security and Privacy (EuroS&P)

  2017 IEEE European Symposium on Security and Privacy (EuroS&P) 2017-04

  IEEE