Amit Vasudevan

发表

Integrity-Protected Micro-Hypervisor on x86 and ARM Hardware Virtualized Platforms

Amit Vasudevan, Amit Vasudevan, 2019, Practical Security Properties on Commodity Computing Platforms.

Available Hardware Primitives

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2014 .

Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform

Sagar Chaki, Amit Vasudevan, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).

Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture

Adrian Perrig, Jonathan M. McCune, Amit Vasudevan, 2010, TRUST.

Coalesced QoS: A Pragmatic approach to a unified model for KLOS

Amit Vasudevan, Ashish Chawla, Yerraballi Ramesh, 2006 .

Down to the bare metal: using processor features for binary analysis

Carsten Willems, Thorsten Holz, Amit Vasudevan, 2012, ACSAC '12.

Parametric Verification of Address Space Separation (CMU-CyLab-12-001)

Sagar Chaki, Jonathan M. McCune, Anupam Datta, 2012 .

Analysis and Recommendations

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2014 .

MalTRAK: Tracking and Eliminating Unknown Malware

Amit Vasudevan, 2008, 2008 Annual Computer Security Applications Conference (ACSAC).

Demand for Applications Requiring Hardware Security

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2014 .

A High Performance Kernel-Less Operating System Architecture

Amit Vasudevan, Ramesh Yerraballi, Ashish Chawla, 2005, ACSC.

GEEC All the Way Down

Sagar Chaki, Limin Jia, Petros Maniatis, 2015 .

Trustworthy Execution on Mobile Devices

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2013, SpringerBriefs in Computer Science.

Parametric Verification of Address Space Separation

Sagar Chaki, Jonathan M. McCune, Anupam Datta, 2012, POST.

Desired Security Features

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2014 .

Wildcat: an integrated stealth environment for dynamic malware analysis

Amit Vasudevan, Ramesh Yerraballi, R. Yerraballi, 2007 .

Cobra: fine-grained malware analysis using stealth localized-executions

Amit Vasudevan, Ramesh Yerraballi, R. Yerraballi, 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).

Effective Malware Analysis Using Stealth Breakpoints

Amit Vasudevan, 2012 .

SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation

Amit Vasudevan, Ramesh Yerraballi, R. Yerraballi, 2006, ACSC.

Isolated Execution Environments

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2014 .

"It’s an app. It’s a hypervisor. It’s a hypapp.": Design and Implementation of an eXtensible and Modular Hypervisor Framework (CMU-CyLab-12-014)

James Newsome, Jonathan M. McCune, Amit Vasudevan, 2012 .

Trustworthy Execution on Mobile Devices: What Security Properties Can My Mobile Platform Give Me?

James Newsome, Jonathan M. McCune, Zongwei Zhou, 2012, TRUST.

Towards verifiable resource accounting for outsourced computation

Vyas Sekar, Adrian Perrig, Chen Chen, 2013, VEE '13.

Lockdown: A Safe and Practical Environment for Security Applications (CMU-CyLab-09-011)

Adrian Perrig, Bryan Parno, Virgil D. Gligor, 2009 .

XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms

Adrian Perrig, Amit Vasudevan, Ning Qu, 2011, 2011 44th Hawaii International Conference on System Sciences.

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor

Sagar Chaki, Limin Jia, Petros Maniatis, 2016, USENIX Security Symposium.

Stealth breakpoints

Amit Vasudevan, Ramesh Yerraballi, 2005, 21st Annual Computer Security Applications Conference (ACSAC'05).

Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms

Adrian Perrig, Bryan Parno, Virgil D. Gligor, 2012, TRUST.

Design, Development and Automated Verification of an Integrity-Protected Hypervisor (CMU-CyLab-12-017)

Sagar Chaki, Limin Jia, Jonathan M. McCune, 2012 .

9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings

Arun Venkataramani, Eyal de Lara, Collin Jackson, 2010, OSDI.

Micro-Hypervisors: What? Why?

Amit Vasudevan, 2019 .

Re-inforced stealth breakpoints

Amit Vasudevan, 2009, 2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009).

Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework

Amit Vasudevan, 2019, Springer Briefs in Computer Science.

Towards an Architecture for Trusted Edge IoT Security Gateways

Guyue Liu, Vyas Sekar, Grace A. Lewis, 2020, HotEdge.

CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms

James Newsome, Adrian Perrig, Jonathan M. McCune, 2012, ASIACCS '12.

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework

James Newsome, Sagar Chaki, Limin Jia, 2013, 2013 IEEE Symposium on Security and Privacy.

Design, Development, and Automated Verification of an Integrity-Protected Hypervisor

Sagar Chaki, Limin Jia, Jonathan M. McCune, 2012 .

JETFIRE: A Low-Cost, Trusted IoT Security Gateway (CMU-CyLab-20-002)

Guyue Liu, Vyas Sekar, Grace A. Lewis, 2021 .

KalKi++: A Scalable and Extensible IoT Security Platform

Matthew McCormack, Vyas Sekar, Grace A. Lewis, 2021, 2021 IEEE 7th World Forum on Internet of Things (WF-IoT).

Formal Verification of a Mixed-Trust Synchronization Protocol

Björn Andersson, John P. Lehoczky, Mark Klein, 2021, RTNS.