Amit Vasudevan

29 papers A* 3A 6B 3C 1Misc 1Journal 1Unranked 12

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