This weekend and through next week, Bellevue Police will be honoring Officer Jordan Jackson in the Police Unity Tour.
We'll be providing daily updates on our Instagram page. Follow us at @BvuePD to see our journey on the road!
Learn more here: https://t.co/6PugKHu5Yr
Our paper on building a fully verified security module for confidential VMs just won the Jay Lepreau Best Paper Award from #OSDI 2024! Congratulations to Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong and Chris Hawblitzel!
Our paper (with @aegiryy and Hsuan-Chi Kuo) on supporting legacy workloads in confidential VMs will be presented @acm_ccs on Thursday. The paper is also online now: https://t.co/yitYV9qpz3.
We build a hybrid fuzzer for the Hyper-V hypervisor, and have caught 11 critical bugs in the most-privileged software! It enables symbolic execution over a control-flow trace logged by Intel PT, so you can enjoy fuzzing it at full speed. Full paper here: https://t.co/Hb4eI9zvPS
My group (Systems Security and Privacy) at Microsoft Research Redmond is hiring researchers. Please apply here https://t.co/k4V7uCQZTd if you would like to join us to do impactful research on cloud security.