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
- Weight
- Alphabetically
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
20
Scopus
citations