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]
@article{YingSCBP19, title = {Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks}, author = {Xuhang Ying and Sang Uk Sagong and Andrew Clark and Linda Bushnell and Radha Poovendran}, year = {2019}, doi = {10.1109/TIFS.2019.2895957}, url = {https://doi.org/10.1109/TIFS.2019.2895957}, researchr = {https://researchr.org/publication/YingSCBP19}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Information Forensics and Security}, volume = {14}, number = {9}, pages = {2300-2314}, }