Software Engineering Institute

Amit Vasudevan

Amit Vasudevan is an SEI alumni employee.

All

Mixed-Trust Computing for Real-Time Systems

October 16, 2023 • Conference Paper

By Dionisio de Niz , Bjorn Andersson , John Lehoczky (Carnegie Mellon University) , Amit Vasudevan , Hyoseung Kim (University of California, Riverside) , Gabriel Moreno

Reviewing the Role of Machine Learning and Artificial Intelligence for Remote Attestation in 5G+ Networks

October 10, 2022 • Conference Paper

By Shannon Gallagher , Austin Whisnant , Anton Hristozov , Amit Vasudevan

Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems

November 7, 2021 • Presentation

By Amit Vasudevan

Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems

November 4, 2021 • Video

By Amit Vasudevan

Formal Verification of a Mixed-Trust Synchronization Protocol

July 22, 2021 • Conference Paper

By Ruben Martins , Mike McCall , Dionisio de Niz , Amit Vasudevan , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside)

More from Amit Vasudevan