Stealth Breakpoints. - Amit Vasudevan; Ramesh Yerraballi (ACSAC, 2005)

A High Performance Kernel-Less Operating System Architecture. - Amit Vasudevan; Ramesh Yerraballi; Ashish Chawla (ACSC, 2005)

SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation. - Amit Vasudevan; Ramesh Yerraballi (ACSC, 2006)

Cobra: Fine-grained Malware Analysis using Stealth Localized-executions. - Amit Vasudevan; Ramesh Yerraballi (S&P, 2006)

MalTRAK: Tracking and Eliminating Unknown Malware. - Amit Vasudevan (ACSAC, 2008)

Re-inforced stealth breakpoints. - Amit Vasudevan (CRiSIS, 2009)

Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture. - Amit Vasudevan; Jonathan M. McCune; Ning Qu; Leendert van Doorn; Adrian Perrig (TRUST, 2010)

XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms. - Amit Vasudevan; Ning Qu; Adrian Perrig (HICSS, 2011)

Down to the bare metal: using processor features for binary analysis. - Carsten Willems; Ralf Hund; Andreas Fobian; Dennis Felsch; Thorsten Holz; Amit Vasudevan (ACSAC, 2012)

CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms. - Amit Vasudevan; Jonathan M. McCune; James Newsome; Adrian Perrig; Leendert van Doorn (AsiaCCS, 2012)

Parametric Verification of Address Space Separation. - Jason Franklin; Sagar Chaki; Anupam Datta; Jonathan M. McCune; Amit Vasudevan (POST, 2012)

Trustworthy Execution on Mobile Devices: What Security Properties Can My Mobile Platform Give Me? - Amit Vasudevan; Emmanuel Owusu; Zongwei Zhou; James Newsome; Jonathan M. McCune (TRUST, 2012)

Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. - Amit Vasudevan; Bryan Parno; Ning Qu; Virgil D. Gligor; Adrian Perrig (TRUST, 2012)

OASIS: on achieving a sanctuary for integrity and secrecy on untrusted platforms. - Emmanuel Owusu; Jorge Guajardo; Jonathan M. McCune; James Newsome; Adrian Perrig; Amit Vasudevan (CCS, 2013)

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. - Amit Vasudevan; Sagar Chaki; Limin Jia 001; Jonathan M. McCune; James Newsome; Anupam Datta (IEEE Symposium on Security and Privacy, 2013)

Towards verifiable resource accounting for outsourced computation. - Chen Chen 013; Petros Maniatis; Adrian Perrig; Amit Vasudevan; Vyas Sekar (VEE, 2013)

Trustworthy Execution on Mobile Devices. - Amit Vasudevan; Jonathan M. McCune; James Newsome (Springer, 2014)

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. - Amit Vasudevan; Sagar Chaki; Petros Maniatis; Limin Jia 001; Anupam Datta (USENIX Security Symposium, 2016)

Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform. - Amit Vasudevan; Sagar Chaki (EuroS&P, 2018)

Mixed-Trust Computing for Real-Time Systems. - Dionisio de Niz; Björn Andersson; Mark H. Klein 001; John P. Lehoczky; Amit Vasudevan; Hyoseung Kim 001; Gabriel A. Moreno (RTCSA, 2019)

Practical Security Properties on Commodity Computing Platforms - The uber eXtensible Micro-Hypervisor Framework - Amit Vasudevan (Springer, 2019)

Towards an Architecture for Trusted Edge IoT Security Gateways. - Matt McCormack; Amit Vasudevan; Guyue Liu; Sebastián Echeverría; Kyle O'Meara; Grace A. Lewis; Vyas Sekar (HotEdge, 2020)

KalKi: A Software-Defined IoT Security Platform. - Sebastián Echeverría; Grace A. Lewis; Craig Mazzotta; Christopher Grabowski; Kyle O'Meara; Amit Vasudevan; Marc Novakouski; Matthew McCormack; Vyas Sekar (WF-IoT, 2020)

überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. - Amit Vasudevan; Petros Maniatis; Ruben Martins (ACM SIGOPS Oper. Syst. Rev., 2020)

Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway‡. - Matt McCormack; Amit Vasudevan; Guyue Liu; Vyas Sekar (RTCSA, 2021)

Formal Verification of a Mixed-Trust Synchronization Protocol. - Ruben Martins; Michael McCall; Dionisio de Niz; Amit Vasudevan; Björn Andersson; Mark Klein 003; John P. Lehoczky; Hyoseung Kim 001 (RTNS, 2021)

KalKi++: A Scalable and Extensible IoT Security Platform. - Sebastián Echeverría; Grace A. Lewis; Craig Mazzotta; Kyle O'Meara; Keegan Williams; Marc Novakouski; Amit Vasudevan; Matthew McCormack; Vyas Sekar (WF-IoT, 2021)

Reviewing the role of machine learning and artificial intelligence for remote attestation in 5G+ networks. - Shannon K. Gallagher; Austin Whisnant; Anton Dimov Hristozov; Amit Vasudevan (FNWF, 2022)

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. - Farzaneh Derakhshan; Zichao Zhang; Amit Vasudevan; Limin Jia 001 (CSF, 2023)