Events Calendar

CS Colloquium: Taesoo Kim (MIT CSAIL): Intrusion Recovery Using Selective Re-execution (Undo Computing)

Speaker: Taesoo Kim, MIT CSAIL

Talk Title: Intrusion Recovery Using Selective Re-execution (Undo Computing)

Series: CS Colloquium

Abstract: 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.

Biography: 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.

Host: Ramesh Govindan

Location: Henry Salvatori Computer Science Center (SAL) - 101

Audiences: Everyone Is Invited

Contact: Assistant to CS chair