C-FLAT - Control-Flow Attestation for Embedded Systems Software

Explore a conference talk from CCS 2016 that introduces C-FLAT: Control-FLow Attestation for Embedded Systems Software. Delve into the motivation behind this technology, recent vulnerabilities, and the principles of remote attestation. Examine the problem space of runtime attacks and related work before discovering the authors' contributions and assumptions. Gain insights into the C-FLAT architecture, including its big picture and loop handling techniques. Learn about the prototype architecture, binary instrumentation, and the application of C-FLAT to a syringe pump main function. Analyze final hash measurements, C-FLAT logs for PUSH actions, and potential attacks on the syringe pump. Evaluate the performance impact and engage in a discussion before reaching the conclusion of this 24-minute presentation by researchers from TU Darmstadt, Aalto University, Trustonic, and the University of California, Irvine.