Researcher tools: code, datasets, & models
Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
FS2PV: A Cryptographic-Protocol Verifier for F#
FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties…
paraF: Parametric flow algorithm implementation
This is an implementation of the Gallo-Grigoriadis-Tarjan algorithm and its variations used in an experimental study described in MSR-TR-2006-77.
Microsoft Research Paraphrase Phrase Tables
This archive contains phrase tables generated by aligning the two paraphrase data sets described in Quirk, Brockett & Dolan (2004) and Dolan, Quirk & Brockett (2004). The alignments are bidirectional, created using the method described…