Security, privacy, & cryptography
Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.
Publication
Checked C: Making C Safe by Extension
Podcast
Internships Ahoy! with Kirsten Bray, Wei Dai and Sara Beery
Episode 42, September 19, 2018 – On today’s podcast, you’ll hear the stories of three of these interns, each of whom came to Microsoft Research from a different field, with a different story and a…
Video
Towards a Unified Bayesian Model for Cyber Security
With the realisation that Cyber attacks present a significant risk to an organisation’s reputation, efficiency, and profitability, there has been an increase in the instrumentation of networks; from collecting netflow data at routers, to host-based…
Podcast
Cryptography for the post-quantum world with Dr. Brian LaMacchia
Episode 38, August 22, 2018 You know those people who work behind the scenes to make sure nothing bad happens to you, and if they’re really good, you never know who they are because nothing…
Video
Verification and Secure Systems
Bugs in security-critical system software already cost society billions of dollars, and the need for secure software is increasing as more devices are connected to the Internet. This session will outline the security needs of…
