Brooke Lampe, Weizhi Meng 0001. can-logic: Automotive Intrusion Detection via Temporal Logic. In Nobuo Kawaguchi, Keiichi Yasumoto, Till Riedel, Aaron Yi Ding, editors, Proceedings of the 13th International Conference on the Internet of Things, IoT 2023, Nagoya, Japan, November 7-10, 2023. pages 113-120, ACM, 2023. [doi]
Abstract is missing.