PhD Seminar: Dongyoon Lee: "BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free"

Dates: 
Friday, October 16, 2020 - 2:40pm to 3:40pm
Location: 
Zoom
Event Description: 
 
Title: 
 
BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free
 
Abstract: 
 
A memory safety violation occurs when a program has an out-of-bound (spatial safety) or use-after-free (temporal safety) memory access. Given its importance as a security vulnerability, recent Intel processors support hardware-accelerated bound checks, called Memory Protection Extensions (MPX). Unfortunately, MPX provides no temporal safety. In this talk, I will present BOGO, a lightweight full memory safety enforcement scheme that transparently guarantees temporal safety on top of MPX’s spatial safety. Instead of tracking separate metadata for temporal safety, BOGO reuses the bounds metadata maintained by MPX for both spatial and temporal safety. Our evaluation shows that BOGO provides full memory safety at a low runtime and space overheads.
 
Bio:
 
Dongyoon Lee received the Ph.D. (2013) degree in Computer Science and Engineering at the University of Michigan, Ann Arbor under the guidance of Prof. Satish Narayanasamy. Before joining Stony Brook University, he worked as an assistant professor at Virginia Tech (2014-2019) and as an academic visitor in the next-generation middleware platforms department at IBM T. J. Watson Research Center (Fall 2013). His co-authored papers won the distinguished paper awards at ASE 2019 and ESEC/FSE 2018, the best student paper finalist at SC 2016, and the best paper award at ASPLOS 2011.
Computed Event Type: 
Mis
Event Title: 
PhD Seminar: Dongyoon Lee: "BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free"