Samuel T. King

According to our database, Samuel T. King authored at least 47 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

FP-Inconsistent: Detecting Evasive Bots using Browser Fingerprint Inconsistencies.

Hari Venugopalan, Shaoor Munir, Shuaib Ahmed, Tangbaihe Wang, Samuel T. King, Zubair Shafiq

CoRR, 2024

Security, extensibility, and redundancy in the Metabolic Operating System.

Samuel T. King

CoRR, 2024

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., December, 2023

Centauri: Practical Rowhammer Fingerprinting.

Hari Venugopalan, Kaustav Goswami, Zain ul Abi Din, Jason Lowe-Power, Samuel T. King, Zubair Shafiq

CoRR, 2023

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

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

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

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

Proceedings of the 29th USENIX Security Symposium, 2020

PERCIVAL: Making In-Browser Perceptual Ad Blocking Practical with Deep Learning.

Zain ul Abi Din, Panagiotis Tigas, Samuel T. King, Benjamin Livshits

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

2019

FinalFilter: Asserting Security Properties of a Processor at Runtime.

Cynthia Sturton, Matthew Hicks, Samuel T. King, Jonathan M. Smith

IEEE Micro, 2019

2018

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

Proceedings of the 7th International Workshop on Hardware and Architectural Support for Security and Privacy, 2018

2015

SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs.

Matthew Hicks, Cynthia Sturton, Samuel T. King, Jonathan M. Smith

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

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

Proceedings of the 40th Annual International Symposium on Computer Architecture, 2013

Verifying security invariants in ExpressOS.

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Cyrus: unintrusive application-level record-replay for replay parallelism.

Nima Honarmand, Nathan Dautenhahn, Josep Torrellas, Samuel T. King, Gilles Pokam, Cristiano Pereira

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Using replicated execution for a more secure and reliable web browser.

Hui Xue, Nathan Dautenhahn, Samuel T. King

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

A Case for Parallelizing Web Pages.

Haohui Mai, Shuo Tang, Samuel T. King, Calin Cascaval, Pablo Montesinos

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

IBOS: A Correct-By-Construction Modular Browser.

Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Designing and Implementing the OP and OP2 Web Browsers.

Chris Grier, Shuo Tang, Samuel T. King

ACM Trans. Web, 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

Building Secure Robot Applications.

Murph Finnicum, Samuel T. King

Proceedings of the 6th USENIX Workshop on Hot Topics in Security, 2011

Defeating UCI: Building Stealthy and Malicious Hardware.

Cynthia Sturton, Matthew Hicks, David A. Wagner, Samuel T. King

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Debugging the data plane with anteater.

Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Macho: Programming with Man Pages.

Anthony Cozzie, Murph Finnicum, Samuel T. King

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Fortifying web-based applications automatically.

Shuo Tang, Nathan Dautenhahn, Samuel T. King

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

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

Alhambra: a system for creating, enforcing, and testing browser security policies.

Shuo Tang, Chris Grier, Onur Aciiçmez, Samuel T. King

Proceedings of the 19th International Conference on World Wide Web, 2010

VEX: Vetting Browser Extensions for Security Vulnerabilities.

Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett

Proceedings of the 19th USENIX Security Symposium, 2010

Trust and Protection in the Illinois Browser Operating System.

Shuo Tang, Haohui Mai, Samuel T. King

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

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

Proceedings of the 18th USENIX Security Symposium, 2009

Capo: a software-hardware interface for practical deterministic multiprocessor replay.

Pablo Montesinos, Matthew Hicks, Samuel T. King, Josep Torrellas

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

Recovery domains: an organizing principle for recoverable operating systems.

Andrew Lenharth, Vikram S. Adve, Samuel T. King

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

MAVMM: Lightweight and Purpose Built VMM for Malware Analysis.

Anh M. Nguyen, Nabil Schear, HeeDong Jung, Apeksha Godiyal, Samuel T. King, Hai D. Nguyen

Proceedings of the Twenty-Fifth Annual Computer Security Applications Conference, 2009

2008

Building a More Secure Web Browser.

Chris Grier, Shuo Tang, Samuel T. King

login Usenix Mag., 2008

Virtualization and Security: Back to the Future.

Samuel T. King, Sean W. Smith

IEEE Secur. Priv., 2008

Secure Web Browsing with the OP Web Browser.

Chris Grier, Shuo Tang, Samuel T. King

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Digging for Data Structures.

Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Designing and Implementing Malicious Hardware.

Samuel T. King, Joseph A. Tucek, Anthony Cozzie, Chris Grier, Weihang Jiang, Yuanyuan Zhou

Proceedings of the First USENIX Workshop on Large-Scale Exploits and Emergent Threats, 2008

2006

Analyzing intrusions using operating system level information flow.

Samuel T. King

PhD thesis, 2006

SubVirt: Implementing malware with virtual machines.

Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

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

Proceedings of the Network and Distributed System Security Symposium, 2006

2005

Backtracking intrusions.

Samuel T. King, Peter M. Chen

ACM Trans. Comput. Syst., 2005

Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!).

Samuel T. King, George W. Dunlap, Peter M. Chen

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Detecting past and present intrusions through vulnerability-specific predicates.

Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Enriching Intrusion Alerts Through Multi-Host Causality.

Samuel T. King, Zhuoqing Morley Mao, Dominic G. Lucchetti, Peter M. Chen

Proceedings of the Network and Distributed System Security Symposium, 2005

2003

Operating System Support for Virtual Machines.

Samuel T. King, George W. Dunlap, Peter M. Chen

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

2002

ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay.

George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, Peter M. Chen

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002