Kostya Serebryany -- Memory Tagging and how it improves C/C++ memory safety

<br>Abstract:<br><br>Memory safety in C and C++ remains largely unresolved. A technique usually called "memory tagging" may dramatically improve the situation if implemented in hardware with reasonable overhead. In this talk&nbsp; we will describe two existing implementations of memory tagging: one is the full hardware implementation - SPARC ADI, the other is a partially hardware-assisted compiler-based tool for AArch64 - HWASAN. We describe the basic idea, evaluate the two implementations,&nbsp; and explain how they improve memory safety. We'll pay extra attention to memory tagging as a security mitigation.<br>See also: <a href="https://www.google.com/url?q=https%3A%2F%2Farxiv.org%2Fpdf%2F1802.09517.... target="_blank">https://arxiv.org/pdf/1802.09517.pdf</a><br><br>Bio:<br><br>Konstantin (Kostya) Serebryany is a Software Engineer at Google. His team develops and deploys dynamic testing tools, such as AddressSanitizer, MemorySanitizer, ThreadSanitizer, and libFuzzer. Prior to joining Google in 2007, Konstantin spent 4 years at Elbrus/MCST working for Sun compiler lab and then 3 years at Intel Compiler Lab. Konstantin holds a PhD from <a href="https://www.google.com/url?q=http%3A%2F%2Fmesi.ru&amp;sa=D&amp;usd=2&amp... target="_blank">mesi.ru</a> and a M.S. from&nbsp;<a href="https://www.google.com/url?q=http%3A%2F%2Fmsu.ru&amp;sa=D&amp;usd=2&amp;... target="_blank">msu.ru</a>.

Wednesday, April 25, 2018 - 4:15pm to 5:15pm
Gates 463A