Holograms, spatial anchors and the future of computer vision with Dr. Marc Pollefeys
Episode 71, April 10, 2019 - On today’s podcast, Dr. Pollefeys brings us up to speed on the latest in computer vision research, including his innovative work with Azure Spatial Anchors, tells us how devices like Kinect and HoloLens may…
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.