Design and verification for transportation system security.

Bowen Zheng, Wenchao Li, Peng Deng, Lonard Grard, Qi Zhu, Natarajan Shankar

Browse the full DAC paper archive.