In the news | Computer Business Review
Microsoft’s New Cryptography Suite is “Mathematically Certain” to be Secure
Microsoft has released a new cryptographic provider – an independent software module that performs cryptography algorithms for authentication, encoding, and encryption – and cryptographic library that it describes as capable of guaranteeing with “mathematical certainty” that communications will be secure.
Enabling design with Ann Paradiso
Episode 70, April 3, 2019 - On today’s podcast, Ann tells us all about life in the extreme constraint design lane, explains what a PALS is, and tells us some incredibly entertaining stories about how the eye tracking technology behind…
EverCrypt cryptographic provider offers developers greater security assurances
| Jonathan Protzenko and Bryan Parno
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the high-performance industrial-grade EverCrypt cryptographic provider, is the second in a…
In the news | Quanta Magazine
Cryptography That Can’t Be Hacked
Researchers have just released cryptographic code with the same level of invincibility as a mathematical proof.
In the news | Jonathan Protzenko Blog
The EverCrypt verified cryptographic provider
Today, we’re announcing a preview release of EverCrypt, a verified cryptographic provider that offers a comprehensive collection of cryptographic algorithms. EverCrypt automatically selects the best available implementation for your platform (C or assembly); offers unified APIs for families of algorithms…
A new policy in authorship claims
As described in our March 23, 2018 post, we unveiled a feature at the Microsoft Academic website that invites users to claim authorship of their publications. This feature is particularly crucial to authors with common names, as we have deliberately…
Awards | ACM
Victor Bahl receives ACM Distinguished Service Award
Victor Bahl received the ACM Distinguished Service Award for significant and lasting service to the broad community of mobile computing and wireless networking, and for building strong linkages between academia, industry, and government agencies. His efforts have led to the…
In the news | Microsoft Research Webinar Series
Machine Learning and Fairness Webinar
In this webinar led by Microsoft researchers Jenn Wortman Vaughan and Hanna Wallach, 15-year veterans of the machine learning field, you'll learn how to make detecting and mitigating biases a first-order priority in your development and deployment of ML systems.
Awards | USENIX
Yongguang Zhang receives USENIX Test of Time Award
Yongguang Zhang received the USENIX Test of Time Award for his paper, ‘Sora: High Performance Software Radio Using General Purpose Multi-core Processors‘, published in the Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (April, 2009). He co-authored…