Hardware & devices
Driving advances in hardware, devices and cyber-physical systems.
Event
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
Video
Project Catapult Academic Tutorial: Getting Started and Intro to APIs
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Video
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
Video
Project Catapult Academic Tutorial
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Publication
Scale-out acceleration for machine learning
Video
Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices
The future will be defined by autonomous computer systems that are tightly integrated with the environment, also known as Cyber-Physical systems (CPS). Resilience and security become extremely important in these systems, as a single error…
Project
Tuning Data Center Performance with Machine Learning (Past Project – Completed)
We have built tools that help us accurately measure hardware performance metrics and have also developed machine-learning models that have enabled us to unravel the relationships between workloads and firmware settings.
Dataset Source Code
SIDH v2.0 (C Edition)
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.
Dataset Source Code
Picnic: Post Quantum Signatures
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.