Scaling the Everest of software security with Dr. Jonathan Protzenko

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=p-L854O2yKc


Duration: 34:18
959 views
22

Episode 58 | January 9, 2019

Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working on), and finally, acts as our digital Sherpa for Project Everest, an assault on software integrity and confidentiality that aims to build and deploy a verified HTTPS stack.



Other Videos By Microsoft Research


2019-02-21Talking with machines with Dr. Layla El Asri
2019-02-21Competing in the X Games of machine learning with Dr. Manik Varma
2019-02-21Putting the “human” in human computer interaction with Haiyan Zhang
2019-02-21Enable(ing) people to do more with Dr. Rico Malvar
2019-02-06EmpowerMD: Medical conversations to medical intelligence
2019-01-30Advances in AI and the Future of Work: Perspectives and Discussion
2019-01-23Empowering people with AI with Dr. Cecily Morrison
2019-01-17Building contextually intelligent assistants with Dr. Paul Bennett
2019-01-14The Microsoft Research intern experience with Robyn McMillan
2019-01-14The Microsoft Research intern experience with David George Robertson
2019-01-09Scaling the Everest of software security with Dr. Jonathan Protzenko
2019-01-07Canetroller: Navigating virtual reality with haptic and auditory cane stimulation
2019-01-02Social and Emotional Artificial Intelligence
2018-12-13Soundscaping the world with Amos Miller
2018-12-13Chasing convex bodies and other random topics with Dr. Sébastien Bubeck
2018-12-06Automated Reasoning of Database Queries
2018-12-06How to Obtain and Run Light and Efficient Deep Learning Networks
2018-12-06Machine Teaching Demo
2018-12-06Advanced Machine Learning Day 3: Neural Program Synthesis
2018-12-06Advanced Machine Learning Day 3: Neural Architecture Search
2018-12-06Delayed Impact of Fair Machine Learning


Tags:
Microsoft Podcast
microsoft research