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