Taesoo Kim

FEAST 2017

2017

The Second Workshop on Forming an Ecosystem Around Software Transformation (FEAST 2017) is held in conjunction with the 24th ACM Conference on Computer and Communications Security (CCS 2017) on November 3, 2017 in Dallas, Texas. …

Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels

2018

During system call execution, it is common for operating system kernels to read userspace memory multiple times (multi-reads). A critical bug may exist if the fetched userspace memory is subject to change across these reads, …

libmpk: Software Abstraction for Intel Memory Protection Keys

2018 · arXiv (Cornell University)

Intel memory protection keys (MPK) is a new hardware feature to support thread-local permission control on groups of pages without requiring modification of page tables. Unfortunately, its current hardware implementation and software supports suffer from …

libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK).

2019 · Scholarworks@UNIST (Ulsan National Institute of Science and Technology)

Intel Memory Protection Keys (MPK) is a new hardware primitive to support thread-local permission control on groups of pages without requiring modification of page tables. Unfortunately, its current hardware implementation and software support suffer from …