Skip to main navigation Skip to search Skip to main content

Verifying an HTTP key-value server with interaction trees and VST

  • Hengchu Zhang
  • , Wolf HonorĂ©
  • , Nicolas Koh
  • , Yao Li
  • , Yishuai Li
  • , Li Yao Xia
  • , Lennart Beringer
  • , William Mansky
  • , Benjamin Pierce
  • , Steve Zdancewic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

22   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Verifying an HTTP key-value server with interaction trees and VST'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases