Virtually any computer system can be compromised. New software vulnerabilities are discovered and exploited daily, but even if the software is bug-free, administrators may inadvertently make mistakes in configuring permissions, or unaware users may click on buttons in application installers with little understanding of its consequences. Recovering from those inevitable compromises leads to days and weeks of wasted effort by users or system administrators, yet with no conclusive guarantee that all traces of the attack have been cleaned up. This talk will present our work on "undo computing," which aims to restore system integrity by efficiently and precisely detecting and undoing changes made by past intrusions.
Taesoo Kim is a PhD student at MIT CSAIL. He is interested in building systems that have strong yet intuitive underline principles for why it should be just secure. Those principles include the simple design of a system, analysis of its implementation, and clear separation of trusted components. He has BS at KAIST (2009), and SM at MIT (2011), both in CS.