Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Project
Komodo: Using verification to disentangle secure-enclave hardware from software
Komodo is a formally-verified reference monitor for an attested, secure isolated execution environment (“enclave”) on ARM TrustZone. It illustrates an alternative approach to Intel’s SGX, achieving similar security guarantees through formal verification, and allowing enclave…
Event
Microsoft @ Grace Hopper
The 2017 Grace Hopper Celebration of Women in Computing (GHC) is the world’s largest gathering of women technologists, where the best minds in computing convene to highlight the contributions of women to computing. Microsoft is a proud…
Publication
Exploring Indoor White Spaces in Metropolises
Video
Democratization of Streaming Video Analytics & the Emergence of Edge Computing
Keynote Speaker – Dr. Victor Bahl (Microsoft Research) “Democratization of Streaming Video Analytics & the Emergence of Edge Computing”
Project
Model-based Reinforcement Learning for Control Problems
This research project aims at developing a new class of Reinforcement Learning (RL) algorithms that are sample efficient, off policy, and transferable. We seek to demonstrate these new algorithms in real-world operational optimal control applications…