Amit Vasudevan

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 11

Top Topics

Computing Platform

Security Analysis

Highly Flexible

Intellectual Property Protection

Top Venues

Publications

Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. CSF (2023)
Shannon K. Gallagher, Austin Whisnant, Anton D. Hristozov, Amit Vasudevan
Reviewing the role of machine learning and artificial intelligence for remote attestation in 5G+ networks. FNWF (2022)
Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim
Formal Verification of a Mixed-Trust Synchronization Protocol. RTNS (2021)
Sebastián Echeverría, Grace A. Lewis, Craig Mazzotta, Kyle O'Meara, Keegan Williams, Marc Novakouski, Amit Vasudevan, Matthew McCormack, Vyas Sekar
KalKi++: A Scalable and Extensible IoT Security Platform. WF-IoT (2021)
Matt McCormack, Amit Vasudevan, Guyue Liu, Vyas Sekar
. RTCSA (2021)
Sebastián Echeverría, Grace A. Lewis, Craig Mazzotta, Christopher Grabowski, Kyle O'Meara, Amit Vasudevan, Marc Novakouski, Matthew McCormack, Vyas Sekar
KalKi: A Software-Defined IoT Security Platform. WF-IoT (2020)
Matt McCormack, Amit Vasudevan, Guyue Liu, Sebastián Echeverría, Kyle O'Meara, Grace A. Lewis, Vyas Sekar
Towards an Architecture for Trusted Edge IoT Security Gateways. HotEdge (2020)
Amit Vasudevan, Petros Maniatis, Ruben Martins
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Dionisio de Niz, Björn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno
Mixed-Trust Computing for Real-Time Systems. RTCSA (2019)
Amit Vasudevan, Sagar Chaki
Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform. EuroS&P (2018)
Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. USENIX Security Symposium (2016)
Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. IEEE Symposium on Security and Privacy (2013)
Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar
Towards verifiable resource accounting for outsourced computation. VEE (2013)
Emmanuel Owusu, Jorge Guajardo, Jonathan M. McCune, James Newsome, Adrian Perrig, Amit Vasudevan
OASIS: on achieving a sanctuary for integrity and secrecy on untrusted platforms. CCS (2013)
Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig
Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. TRUST (2012)
Carsten Willems, Ralf Hund, Andreas Fobian, Dennis Felsch, Thorsten Holz, Amit Vasudevan
Down to the bare metal: using processor features for binary analysis. ACSAC (2012)
Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
Parametric Verification of Address Space Separation. POST (2012)
Amit Vasudevan, Jonathan M. McCune, James Newsome, Adrian Perrig, Leendert van Doorn
CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms. AsiaCCS (2012)
Amit Vasudevan, Emmanuel Owusu, Zongwei Zhou, James Newsome, Jonathan M. McCune
Trustworthy Execution on Mobile Devices: What Security Properties Can My Mobile Platform Give Me? TRUST (2012)
Amit Vasudevan, Ning Qu, Adrian Perrig
XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms. HICSS (2011)
Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leendert van Doorn, Adrian Perrig
Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture. TRUST (2010)
Amit Vasudevan
Re-inforced stealth breakpoints. CRiSIS (2009)
Amit Vasudevan
MalTRAK: Tracking and Eliminating Unknown Malware. ACSAC (2008)
Amit Vasudevan, Ramesh Yerraballi
Cobra: Fine-grained Malware Analysis using Stealth Localized-executions. IEEE Symposium on Security and Privacy (2006)
Amit Vasudevan, Ramesh Yerraballi
SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation. ACSC (2006)
Amit Vasudevan, Ramesh Yerraballi
Stealth Breakpoints. ACSAC (2005)
Amit Vasudevan, Ramesh Yerraballi, Ashish Chawla
A High Performance Kernel-Less Operating System Architecture. ACSC (2005)