Project
F7: Refinement Types for F#
F7 is an enhanced typechecker for the F# programming language, a dialect of ML. F7 pioneers the static checking of security properties expressed with refinement types. Although the original motivation was to check security properties,…
Publication
Preventing memory error exploits with WIT
Publication
Sketching in adversarial environments
Microsoft Research Blog
Mashup Developers Get Chance to Romp in Sandbox
By Rob Knies, Managing Editor, Microsoft Research Mashups have become one of the hallmarks of the Web 2.0 era. The practice of combining two sets of related yet disparate data from unrelated sources in one…
Publication