Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks

Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran. Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. IEEE Transactions on Information Forensics and Security, 14(9):2300-2314, 2019. [doi]

Authors

Xuhang Ying

This author has not been identified. Look up 'Xuhang Ying' in Google

Sang Uk Sagong

This author has not been identified. Look up 'Sang Uk Sagong' in Google

Andrew Clark

This author has not been identified. Look up 'Andrew Clark' in Google

Linda Bushnell

This author has not been identified. Look up 'Linda Bushnell' in Google

Radha Poovendran

This author has not been identified. Look up 'Radha Poovendran' in Google