Rapidly enabling autonomy at scale with simulation
| Ashish Kapoor
Autonomous Systems have attracted a lot of attention as they promise to improve efficiency, reduce cost and most importantly take on tasks that are too dangerous for humans. However, building a real-world autonomous system that would operate safely at scale…
In the news | Counterfactual
Introduction to EconML Packages (meta-learners)
In recent years, research in the fusion of econometrics and machine learning has been booming. For example, related Tutorials are held in KDD2018 and NeurIPS2018. As one of the trends, Microsoft Research has published a package called EconML, and I…
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…