Amit Vasudevan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2005–2021
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | RTCSA | Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway | Matt McCormack, Amit Vasudevan, Guyue Liu, Vyas Sekar |
| 2021 | RTNS | Formal Verification of a Mixed-Trust Synchronization Protocol. | Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjrn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim |
| 2019 | RTCSA | Mixed-Trust Computing for Real-Time Systems. | Dionisio de Niz, Bjrn Andersson, Mark H. Klein, John P. Lehoczky, Amit Vasudevan, Hyoseung Kim, Gabriel A. Moreno |
| 2013 | CCS | 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 |
| 2013 | SP | Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. | Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta |
| 2013 | VEE | Towards verifiable resource accounting for outsourced computation. | Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar |
| 2012 | ACSAC | Down to the bare metal: using processor features for binary analysis. | Carsten Willems, Ralf Hund, Andreas Fobian, Dennis Felsch, Thorsten Holz, Amit Vasudevan |
| 2012 | CCS | CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms. | Amit Vasudevan, Jonathan M. McCune, James Newsome, Adrian Perrig, Leendert van Doorn |
| 2009 | CRiSIS | Re-inforced stealth breakpoints. | Amit Vasudevan |
| 2008 | ACSAC | MalTRAK: Tracking and Eliminating Unknown Malware. | Amit Vasudevan |
| 2006 | SP | Cobra: Fine-grained Malware Analysis using Stealth Localized-executions. | Amit Vasudevan, Ramesh Yerraballi |
| 2005 | ACSAC | Stealth Breakpoints. | Amit Vasudevan, Ramesh Yerraballi |