Research
Driving advances in hardware, devices, and cyber-physical systems that expand the possibilities of computing.
We review existing cryptographic schemes based on the hardness of computing isogenies between supersingular isogenies, and present some attacks against them. In particular, we present new techniques to accelerate the resolution of isogeny problems when…
This repository contains a subset of the internal tests used by Microsoft’s Static Driver Verifier (opens in new tab) tool. These tests are generated from Window’s Device Drivers while checking for one of the various properties (opens in…
10:50 AM–11:20 AM | Xiaodi Wu – Quantum Query Complexity of Entropy Estimation 11:25 AM–11:55 AM | Stephanie Wehner – Quantum Internet: The Certifiable Road Ahead
9:00 AM–9:30 AM | Andras Pal Gilyen – Optimizing Quantum Optimization Algorithms 9:30 AM–10:00 AM | David Poulin – Surprising Facts About Quantum Error Correction
1:05 PM–1:35 PM | Ronald De Wolf – Quantum SDP-Solvers: Better Upper and Lower Bounds 1:40 PM–2:10 PM | Jeongwan Haah – Magic State Distillation with Low Space Overhead and Optimal Asymptotic Input Count 2:15 PM–2:45 PM…
3:05 PM–3:35 PM | Michael Biercuk – The Role of Quantum Control in Quantum Computing 3:40 PM–4:10 PM | Matthias Troyer – Can AIs Dream of Schrodinger’s Cat? 4:15 PM–4:45 PM | Bettina Heim
There is no cure for Parkinson’s, the disease that currently plagues more than 10 million people worldwide including Emma Lawton, a graphic designer diagnosed with the movement disorder in 2013. Fueled by her passion for…
By John Roach, Writer, Microsoft Research Charles P. Thacker, a visionary and hands-on electrical engineer who designed the first instances of key computing technologies that define modern life, died June 12 at his home in…
