Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

CryptoVerif proof

biblio

Visible to the public Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Submitted by grigby1 on Thu, 05/24/2018 - 12:22pm
  • formal verification
  • secure messaging
  • pubcrawl
  • ProVerif
  • protocol verification
  • ProScript protocol code
  • privacy
  • policy-based collaboration
  • Policy
  • JavaScript programs
  • Java
  • Analytical models
  • end-to end secure messaging protocols
  • Domain-Specific Language
  • CryptoVerif proof
  • Cryptography
  • Cryptographic Protocols
  • cryptographic protocol code
  • Computer bugs
  • Computational modeling
  • Compositionality
  • automated verification

Terms of Use  |  ©2023. CPS-VO