Seminars

View all Seminars  |  Download ICal for this event

Attesting Program Execution with Control-Flow Attestation

Series: CSA Faculty Colloquium

Speaker: Professor Vinod Ganapathy, Department of CSA, IISc.

Date/Time: Mar 07 16:00:00

Location: CSA Auditorium, (Room No. 104, Ground Floor)

Abstract:
I will provide an overview of a powerful technology called Control-Flow Attestation (CFA) that can attest low-level properties of programs, in particular, the control-flow path executed by a program as it processes a particular input. CFA is particularly useful as a technology to audit program execution, which can be used to either prove that the program executed as expected, or do a post-mortem analysis of what went wrong in the execution of the program. In this talk, I will introduce the technology underlying CFA, which was introduced in 2016 and has been applied primarily in the embedded systems domain. I will quickly move on to challenges that prevent scaling up CFA to larger applications and to settings more complex than embedded systems, and describe the work being done in the Computer Systems Security Lab at CSA to address these challenges.

Host Faculty: Prof. Vijay Natarajan