Matthew Parkinson, Microsoft Research
I will cover various approaches Microsoft takes to security particularly memory safety. The talk will cover mitigating existing code, compartmentalising legacy code into new applications, and new safe programming languages at Microsoft. Finally, I will discuss verification and places it could fit into Microsoft.