Safeguarding Sensor Device Drivers Using Physical Constraints (Poster)

Abstract

Software that interfaces with hardware peripherals often makes assumptions ranging from the formatting of peripheral interface protocol packets to assumptions on the values in packet fields. When these assumptions are false, malicious or faulty peripherals can compromise system integrity. For sensor peripherals, physics imposes constraints on plausible protocol fields values. Software interfacing with sensors can use such information on physical constraints to check the validity of sensor output. We present examples of constraints on sensor signals along with a method for inferring the likelihood of a transduction attack in device drivers.

Cite as:

G. Brooks, Y. Wang, and P. Stanley-Marbell, "Safeguarding Sensor Device Drivers Using Physical Constraints", EuroSys 2019 (Poster).

BibTeX:

@inproceedings{Brooks2019SafeguardingSD,
    title={Safeguarding Sensor Device Drivers Using Physical Constraints},
    author={Brooks,Gregory and Wang, Youchao and Stanley-Marbell, Phillip},
    year={2019},
    title = {EuroSys '19: Proceedings of the Fourteenth EuroSys Conference 2019},
    year = {2019},
    isbn = {9781450362818},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    location = {Dresden, Germany}
}