Blog de recherche Microsoft

Microsoft Windows

  1. SIDH v2.0 (C Edition) 

    September 28, 2017

    The SIDH v2.0 library is a supersingular isogeny-based cryptography library that implements a new suite of algorithms for a post-quantum, ephemeral Diffie-Hellman key exchange scheme.

  2. Picnic: Post Quantum Signatures 

    September 28, 2017

    The Picnic and Fish signature schemes are digital signature schemes secure against attacks by quantum computers. This is a reference implementation of these schemes, associated with the paper Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives.

  3. Microsoft Static Driver Verifier Benchmarks 

    August 1, 2017 | Akash Lal

    This repository contains a subset of the internal tests used by Microsoft's Static Driver Verifier tool. These tests are generated from Window's Device Drivers while checking for one of the various properties that WDM drivers must satisfy.

  4. Cluster Map visual 

    May 11, 2017 | Chris White

    Cluster Map displays clusters of related documents in an expressive image mosaic. Clusters can be arranged in a symmetric “spiral” layout or a more freeform “relational” layout, with cluster proximity in the latter case determined by the relatedness between clusters. Selecting a cluster in either…

  5. Test Images for Wallflower Paper 

    February 8, 2017

    These are test images for developing and evaluating background subtraction for computer vision. There are seven sequences of images, and each sequence comes from a video.

  6. Phlat (Prototype for Helpful Lookup and Tagging) 

    January 5, 2017

    Phlat is a new interface for Windows Desktop Search, enabling search through a user's own e-mail, files, and viewed Web pages. Phlat makes it easy for users to specify queries and filters, attempting to integrate search and browsing in one intuitive interface.

  7. pfnum: LaTeX Proof-Step Renumbering 

    January 5, 2017

    This program is for use with the LaTeX pf and pf2 packages. It makes the symbolic labels of proof steps the same as the printed step numbers.

  8. Pex – Automated Whitebox Testing for .NET (32 bit) 

    January 5, 2017

    Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage.

  9. Dafny 

    January 2, 2017

    Dafny is a verification-aware programming language.

  10. MSR FastRDFStore Package – Data Release 

    January 2, 2017

    This data release is part of the MSR FastRDFStore Package (https://github.com/Microsoft/FastRDFStore/ (opens in new tab)) and includes the last dump of Freebase, as well as the processed version ready to load directly into FastRDFStore.

  11. Open Solving Library for ODEs 

    January 2, 2017

    C# library that implements algorithms for the numerical solution of ordinary differential equations. The library incorporates .NET desktop and Silverlight builds.

  12. Microsoft Hyperlapse Mobile 

    November 22, 2016

    Microsoft Hyperlapse Mobile creates smooth and stabilized time lapses from first-person videos using a Windows Phone or Android device.