110K views · 1.3K reactions | Improper input validation is a common and serious software threat. EverParse offers protection. The framework automatically produces high-performance, formally proven C code for parsing binary messages. Learn how it’s being used to harden critical attack surfaces: https://aka.ms/AAcdr3h | Microsoft Research | Facebook

397K views · 1.7K reactions | Using Microsoft Kinect, Gabriel Pulecio creates art that takes on some of the world’s most out-there ideas: infinity, the source of light and the fourth dimension. | Microsoft | Facebook