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 network-connected systems and explore how formal verification can help secure them.
We’ll present research on bringing high-value security to low-cost devices, particularly those powered by microcontrollers – a class of devices ill-prepared for the security challenges of Internet connectivity. We’ll also discuss advances in verification tools and techniques that lead to real, usable verified software, with an emphasis on critical systems such as distributed and operating systems, cloud infrastructure, networking protocols and cryptography. Finally, we’ll present an overview of the Azure Sphere product as part of Microsoft’s efforts to secure MCU-based devices.
Related Products:
Speaker Details
- Date:
- Speakers:
- Chris Hawblitzel, Ed Nightingale, Adam Chlipala, Nikhil Swamy
- Affiliation:
- Azure Sphere
-
-
Chris Hawblitzel
Principal Researcher
-
Ed Nightingale
Partner Director of Engineering Azure Sphere
-
Nikhil Swamy
Senior Principal Researcher
-
-
Series: Microsoft Research Faculty Summit
-
-
Quantum Computing and Workforce, Curriculum, and Application Development: Case study
Speakers:- Krysta M. Svore,
- Martin Roetteler
-
-
-
-
Crowd, Cloud and the Future of Work: Updates from human AI computation
Speakers:- Besmira Nushi,
- Vani Mandava
-
-
-
-
-
Empowering People to Achieve More: How Useful a Concept is Productivity?
Speakers:- Brendan Murphy
-
-
Productivity in Software Development
Speakers:- Neel Sundaresan,
- Margaret-Anne Storey,
- Prem Kumar Devanbu
-
-
-
-
-
-
-
Accessible Virtual Reality
Speakers:- Eyal Ofek
-
Calendar.help: A Virtual Meeting Scheduling Assistant
Speakers:- Pamela Bhattacharya
-
Visual Studio IntelliCode
Speakers:- Mark Wilson-Thomas
-
Microsoft Teams: Collaborate with Any Researcher Anywhere
Speakers:- Jethro Seghers
-
Project Alava: Programming Webs of Microcontrollers
Speakers:- James Devine,
- Teddy Seyed
-
AI in PowerPoint
Speakers:- Kostas Seleskerov