5 citations · 5 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 5 cited
Interval Parsing Grammars for File Format Parsing
Jialun Zhang, Greg Morrisett, Gang Tan
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns su…
cs.PL2014
The Foundational Cryptography Framework
Adam Petcher, Greg Morrisett
We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a gener…