Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.

Amit Vasudevan Farzaneh Derakhshan Zichao Zhang Amit Vasudevan Limin Jia 0001 Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. 324-339 2023 CSF https://doi.org/10.1109/CSF57540.2023.00021 conf/csfw/2023 db/conf/csfw/csf2023.html#DerakhshanZVJ23 Shannon K. Gallagher Austin Whisnant Anton Dimov Hristozov Amit Vasudevan Reviewing the role of machine learning and artificial intelligence for remote attestation in 5G+ networks. 602-607 2022 FNWF https://doi.org/10.1109/FNWF55208.2022.00111 conf/5gwf/2022 db/conf/5gwf/fnwf2022.html#GallagherWHV22 Matt McCormack Amit Vasudevan Guyue Liu Vyas Sekar Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway<sup>‡</sup>. 93-102 2021 RTCSA https://doi.org/10.1109/RTCSA52859.2021.00019 conf/rtcsa/2021 db/conf/rtcsa/rtcsa2021.html#McCormackVLS21 Ruben Martins Michael McCall Dionisio de Niz Amit Vasudevan Björn Andersson Mark Klein 0003 John P. Lehoczky Hyoseung Kim 0001 Formal Verification of a Mixed-Trust Synchronization Protocol. 57-67 2021 RTNS https://doi.org/10.1145/3453417.3453431 conf/rtns/2021 db/conf/rtns/rtns2021.html#MartinsMNVAKLK21 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. 368-373 2021 WF-IoT https://doi.org/10.1109/WF-IoT51360.2021.9595004 conf/wf-iot/2021 db/conf/wf-iot/wf-iot2021.html#EcheverriaLMOWN21

Amit Vasudevan Petros Maniatis Ruben Martins überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. 8-22 2020 54 ACM SIGOPS Oper. Syst. Rev. 1 https://doi.org/10.1145/3421473.3421476 https://www.wikidata.org/entity/Q131131922 db/journals/sigops/sigops54.html#VasudevanMM20

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. 2020 HotEdge https://www.usenix.org/conference/hotedge20/presentation/mccormack conf/hotedge/2020 db/conf/hotedge/hotedge2020.html#McCormackVLEOLS20 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. 1-6 2020 WF-IoT https://doi.org/10.1109/WF-IoT48130.2020.9221050 conf/wf-iot/2020 db/conf/wf-iot/wf-iot2020.html#EcheverriaLMGOV20 Amit Vasudevan Practical Security Properties on Commodity Computing Platforms - The uber eXtensible Micro-Hypervisor Framework Springer 2019 1-85 Springer Briefs in Computer Science 978-3-030-25048-5 https://doi.org/10.1007/978-3-030-25049-2 Dionisio de Niz Björn Andersson Mark H. Klein 0001 John P. Lehoczky Amit Vasudevan Hyoseung Kim 0001 Gabriel A. Moreno Mixed-Trust Computing for Real-Time Systems. 1-11 2019 RTCSA https://doi.org/10.1109/RTCSA.2019.8864566 conf/rtcsa/2019 db/conf/rtcsa/rtcsa2019.html#NizAKLVKM19 Amit Vasudevan Sagar Chaki Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform. 183-198 2018 EuroS&P https://doi.org/10.1109/EuroSP.2018.00021 conf/eurosp/2018 db/conf/eurosp/eurosp2018.html#VasudevanC18 Amit Vasudevan Sagar Chaki Petros Maniatis Limin Jia 0001 Anupam Datta überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. 87-104 2016 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan conf/uss/2016 db/conf/uss/uss2016.html#VasudevanCMJD16 Amit Vasudevan Jonathan M. McCune James Newsome Trustworthy Execution on Mobile Devices. 2014 i-xiii, 1-85 Springer Springer Briefs in Computer Science 978-1-4614-8189-8 978-1-4614-8190-4 https://doi.org/10.1007/978-1-4614-8190-4 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. 13-24 2013 CCS https://doi.org/10.1145/2508859.2516678 conf/ccs/2013 db/conf/ccs/ccs2013.html#OwusuGMNPV13 Amit Vasudevan Sagar Chaki Limin Jia 0001 Jonathan M. McCune James Newsome Anupam Datta Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. 430-444 2013 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2013.36 https://doi.ieeecomputersociety.org/10.1109/SP.2013.36 conf/sp/2013 db/conf/sp/sp2013.html#VasudevanCJMND13 Chen Chen 0013 Petros Maniatis Adrian Perrig Amit Vasudevan Vyas Sekar Towards verifiable resource accounting for outsourced computation. 167-178 2013 VEE https://doi.org/10.1145/2451512.2451546 https://doi.org/10.1145/2517326.2451546 conf/vee/2013 db/conf/vee/vee2013.html#ChenMPVS13 Carsten Willems Ralf Hund Andreas Fobian Dennis Felsch Thorsten Holz Amit Vasudevan Down to the bare metal: using processor features for binary analysis. 189-198 2012 ACSAC https://doi.org/10.1145/2420950.2420980 conf/acsac/2012 db/conf/acsac/acsac2012.html#WillemsHFFHV12 Amit Vasudevan Jonathan M. McCune James Newsome Adrian Perrig Leendert van Doorn CARMA: a hardware tamper-resistant isolated execution environment on commodity x86 platforms. 48-49 2012 AsiaCCS https://doi.org/10.1145/2414456.2414484 conf/ccs/2012asia db/conf/ccs/asiaccs2012.html#VasudevanMNPD12 Jason Franklin Sagar Chaki Anupam Datta Jonathan M. McCune Amit Vasudevan Parametric Verification of Address Space Separation. 51-68 2012 POST https://doi.org/10.1007/978-3-642-28641-4_4 conf/post/2012 db/conf/post/post2012.html#FranklinCDMV12 Amit Vasudevan Bryan Parno Ning Qu Virgil D. Gligor Adrian Perrig Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms. 34-54 2012 TRUST https://doi.org/10.1007/978-3-642-30921-2_3 conf/trust/2012 db/conf/trust/trust2012.html#VasudevanPQGP12 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? 159-178 2012 TRUST https://doi.org/10.1007/978-3-642-30921-2_10 conf/trust/2012 db/conf/trust/trust2012.html#VasudevanOZNM12 Amit Vasudevan Ning Qu Adrian Perrig XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms. 1-10 2011 HICSS https://doi.org/10.1109/HICSS.2011.500 https://doi.ieeecomputersociety.org/10.1109/HICSS.2011.500 conf/hicss/2011 db/conf/hicss/hicss2011.html#VasudevanQP11 Amit Vasudevan Jonathan M. McCune Ning Qu Leendert van Doorn Adrian Perrig Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture. 141-165 2010 TRUST https://doi.org/10.1007/978-3-642-13869-0_10 conf/trust/2010 db/conf/trust/trust2010.html#VasudevanMQDP10 Amit Vasudevan Re-inforced stealth breakpoints. 59-66 2009 CRiSIS https://doi.org/10.1109/CRISIS.2009.5411978 conf/crisis/2009 db/conf/crisis/crisis2009.html#Vasudevan09 Amit Vasudevan MalTRAK: Tracking and Eliminating Unknown Malware. 311-321 2008 ACSAC https://doi.org/10.1109/ACSAC.2008.44 https://doi.ieeecomputersociety.org/10.1109/ACSAC.2008.44 conf/acsac/2008 db/conf/acsac/acsac2008.html#Vasudevan08 Amit Vasudevan Ramesh Yerraballi SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation. 311-320 2006 conf/acsc/2006 ACSC https://dl.acm.org/citation.cfm?id=1151734 db/conf/acsc/acsc2006.html#VasudevanY06 Amit Vasudevan Ramesh Yerraballi Cobra: Fine-grained Malware Analysis using Stealth Localized-executions. 264-279 2006 conf/sp/2006 S&P https://doi.org/10.1109/SP.2006.9 https://doi.ieeecomputersociety.org/10.1109/SP.2006.9 db/conf/sp/sp2006.html#VasudevanY06 Amit Vasudevan Ramesh Yerraballi Stealth Breakpoints. 381-392 2005 conf/acsac/2005 ACSAC https://doi.org/10.1109/CSAC.2005.52 https://doi.ieeecomputersociety.org/10.1109/CSAC.2005.52 db/conf/acsac/acsac2005.html#VasudevanY05 Amit Vasudevan Ramesh Yerraballi Ashish Chawla A High Performance Kernel-Less Operating System Architecture. 287-296 2005 conf/acsc/2005 ACSC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV38Vasudevan.html db/conf/acsc/acsc2005.html#VasudevanYC05 Björn Andersson Sagar Chaki Ashish Chawla Chen Chen 0013 Anupam Datta Farzaneh Derakhshan Leendert van Doorn Sebastián Echeverría Dennis Felsch Andreas Fobian Jason Franklin Shannon K. Gallagher Virgil D. Gligor Christopher Grabowski Jorge Guajardo Thorsten Holz Anton Dimov Hristozov Ralf Hund Limin Jia 0001 Hyoseung Kim 0001 Mark Klein 0003Mark H. Klein 0001 John P. Lehoczky Grace A. Lewis Guyue Liu Petros Maniatis Ruben Martins Craig Mazzotta Michael McCall Matt McCormackMatthew McCormack Jonathan M. McCune Gabriel A. Moreno James Newsome Dionisio de Niz Marc Novakouski Kyle O'Meara Emmanuel Owusu Bryan Parno Adrian Perrig Ning Qu Vyas Sekar Austin Whisnant Carsten Willems Keegan Williams Ramesh Yerraballi Zichao Zhang Zongwei Zhou