Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Blog de recherche Microsoft
Where cryptography and quantum computing intersect
By Kristin Lauter, Principal Researcher, Microsoft Research Last week I spent time at the American Institute of Mathematics in San Jose, working with a group of 20 or so mathematicians and computer scientists on questions…
Publication
Verified Low-Level Programming Embedded in F*
Projet
Project Sopris
The Project Sopris research team is exploring the goal of securing the vast number of low cost internet connected devices coming online. We have tested different approaches to device security from silicon to software and…