ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. - George W. Dunlap; Samuel T. King; Sukru Cinar; Murtaza A. Basrai; Peter M. Chen (OSDI, 2002)

Operating System Support for Virtual Machines. - Samuel T. King; George W. Dunlap; Peter M. Chen (USENIX ATC, General Track, 2003)

Enriching Intrusion Alerts Through Multi-Host Causality. - Samuel T. King; Zhuoqing Morley Mao; Dominic G. Lucchetti; Peter M. Chen (NDSS, 2005)

Detecting past and present intrusions through vulnerability-specific predicates. - Ashlesha Joshi; Samuel T. King; George W. Dunlap; Peter M. Chen (SOSP, 2005)

Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!). - Samuel T. King; George W. Dunlap; Peter M. Chen (USENIX ATC, General Track, 2005)

Backtracking intrusions. - Samuel T. King; Peter M. Chen (ACM Trans. Comput. Syst., 2005)

Automated Web Patrol with Strider HoneyMonkeys: Finding Web Sites That Exploit Browser Vulnerabilities. - Yi-Min Wang; Doug Beck; Xuxian Jiang; Roussi Roussev; Chad Verbowski; Shuo Chen; Samuel T. King (NDSS, 2006)

SubVirt: Implementing malware with virtual machines. - Samuel T. King; Peter M. Chen; Yi-Min Wang; Chad Verbowski; Helen J. Wang; Jacob R. Lorch (S&P, 2006)

Analyzing intrusions using operating system level information flow. - Samuel T. King (2006)

Designing and Implementing Malicious Hardware. - Samuel T. King; Joseph A. Tucek; Anthony Cozzie; Chris Grier; Weihang Jiang; Yuanyuan Zhou 001 (LEET, 2008)

Digging for Data Structures. - Anthony Cozzie; Frank Stratton; Hui Xue 007; Samuel T. King (OSDI, 2008)

Secure Web Browsing with the OP Web Browser. - Chris Grier; Shuo Tang; Samuel T. King (SP, 2008)

Virtualization and Security: Back to the Future. - Samuel T. King; Sean W. Smith (IEEE Secur. Priv., 2008)

Building a More Secure Web Browser. - Chris Grier; Shuo Tang; Samuel T. King (login Usenix Mag., 2008)

MAVMM: Lightweight and Purpose Built VMM for Malware Analysis. - Anh M. Nguyen; Nabil Schear; HeeDong Jung; Apeksha Godiyal; Samuel T. King; Hai D. Nguyen (ACSAC, 2009)

Recovery domains: an organizing principle for recoverable operating systems. - Andrew Lenharth; Vikram S. Adve; Samuel T. King (ASPLOS, 2009)

Capo: a software-hardware interface for practical deterministic multiprocessor replay. - Pablo Montesinos; Matthew Hicks; Samuel T. King; Josep Torrellas (ASPLOS, 2009)

The Multi-Principal OS Construction of the Gazelle Web Browser. - Helen J. Wang; Chris Grier; Alexander Moshchuk; Samuel T. King; Piali Choudhury; Herman Venter (USENIX Security Symposium, 2009)

Trust and Protection in the Illinois Browser Operating System. - Shuo Tang; Haohui Mai; Samuel T. King (OSDI, 2010)

VEX: Vetting Browser Extensions for Security Vulnerabilities. - Sruthi Bandhakavi; Samuel T. King; P. Madhusudan; Marianne Winslett (USENIX Security Symposium, 2010)

Alhambra: a system for creating, enforcing, and testing browser security policies. - Shuo Tang; Chris Grier; Onur Aciiçmez; Samuel T. King (WWW, 2010)

Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. - Matthew Hicks; Murph Finnicum; Samuel T. King; Milo M. K. Martin; Jonathan M. Smith (login Usenix Mag., 2010)

Fortifying web-based applications automatically. - Shuo Tang; Nathan Dautenhahn; Samuel T. King (CCS, 2011)

Macho: Programming with Man Pages. - Anthony Cozzie; Murph Finnicum; Samuel T. King (HotOS, 2011)

Debugging the data plane with anteater. - Haohui Mai; Ahmed Khurshid; Rachit Agarwal 001; Matthew Caesar 001; Brighten Godfrey; Samuel Talmadge King (SIGCOMM, 2011)

Defeating UCI: Building Stealthy and Malicious Hardware. - Cynthia Sturton; Matthew Hicks; David A. Wagner 001; Samuel T. King (IEEE Symposium on Security and Privacy, 2011)

Building Secure Robot Applications. - Murph Finnicum; Samuel T. King (HotSec, 2011)

Vetting browser extensions for security vulnerabilities with VEX. - Sruthi Bandhakavi; Nandit Tiku; Wyatt Pittman; Samuel T. King; P. Madhusudan; Marianne Winslett (Commun. ACM, 2011)

Designing and Implementing the OP and OP2 Web Browsers. - Chris Grier; Shuo Tang; Samuel T. King (ACM Trans. Web, 2011)

IBOS: A Correct-By-Construction Modular Browser. - Ralf Sasse; Samuel T. King; José Meseguer 001; Shuo Tang (FACS, 2012)

A Case for Parallelizing Web Pages. - Haohui Mai; Shuo Tang; Samuel T. King; Calin Cascaval; Pablo Montesinos (HotPar, 2012)

Using replicated execution for a more secure and reliable web browser. - Hui Xue 007; Nathan Dautenhahn; Samuel T. King (NDSS, 2012)

Cyrus: unintrusive application-level record-replay for replay parallelism. - Nima Honarmand; Nathan Dautenhahn; Josep Torrellas; Samuel T. King; Gilles Pokam; Cristiano Pereira (ASPLOS, 2013)

Verifying security invariants in ExpressOS. - Haohui Mai; Edgar Pek; Hui Xue 007; Samuel Talmadge King; Parthasarathy Madhusudan (ASPLOS, 2013)

QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs. - Gilles Pokam; Klaus Danne; Cristiano Pereira; Rolf Kassa; Tim Kranich; Shiliang Hu; Justin Emile Gottschlich; Nima Honarmand; Nathan Dautenhahn; Samuel T. King; Josep Torrellas (ISCA, 2013)

SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs. - Matthew Hicks; Cynthia Sturton; Samuel T. King; Jonathan M. Smith (ASPLOS, 2015)

A case for exposing extra-architectural state in the ISA: position paper. - Jason Lowe-Power; Venkatesh Akella; Matthew K. Farrens; Samuel T. King; Christopher J. Nitta (HASP@ISCA, 2018)

FinalFilter: Asserting Security Properties of a Processor at Runtime. - Cynthia Sturton; Matthew Hicks; Samuel T. King; Jonathan M. Smith (IEEE Micro, 2019)

PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning. - Zain ul Abi Din; Panagiotis Tigas; Samuel T. King; Benjamin Livshits (USENIX ATC, 2020)

Boxer: Preventing fraud by scanning credit cards. - Zain ul Abi Din; Hari Venugopalan; Jaime Park; Andy Li; Weisu Yin; Haohui Mai; Yong Jae Lee; Steven Liu; Samuel T. King (USENIX Security Symposium, 2020)

Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments. - Zain ul Abi Din; Hari Venugopalan; Henry Lin; Adam Wushensky; Steven Liu; Samuel T. King (SP, 2021)

Credit Card Fraud Is a Computer Security Problem. - Samuel T. King; Nolen Scaife; Patrick Traynor; Zain ul Abi Din; Christian Peeters; Hari Venugopalan (IEEE Secur. Priv., 2021)

Centauri: Practical Rowhammer Fingerprinting. - Hari Venugopalan; Kaustav Goswami 002; Zain ul Abi Din; Jason Lowe-Power; Samuel T. King; Zubair Shafiq (CoRR, 2023)

Aragorn: A Privacy-Enhancing System for Mobile Cameras. - Hari Venugopalan; Zain ul Abi Din; Trevor Carpenter; Jason Lowe-Power; Samuel T. King; Zubair Shafiq (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2023)

Security, extensibility, and redundancy in the Metabolic Operating System. - Samuel T. King (CoRR, 2024)

FP-Inconsistent: Detecting Evasive Bots using Browser Fingerprint Inconsistencies. - Hari Venugopalan; Shaoor Munir; Shuaib Ahmed; Tangbaihe Wang; Samuel T. King; Zubair Shafiq (CoRR, 2024)

GlucOS: Security, correctness, and simplicity for automated insulin delivery. - Hari Venugopalan; Shreyas Madhav Ambattur Vijayanand; Caleb Stanford; Stephanie Crossen; Samuel T. King (CoRR, 2024)

Markerless Motion Capture Enhances Clinical Assessments: Preliminary Validation with the Box and Blocks Test. - Andria J. Farrens; Vicky Chan; Luis Garcia-Fernandez; Ziqiang "Joe" Zhu; Jun Min Kim; Matthew Karl Farrens; Samuel T. King (ICORR, 2025)