{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T14:02:46Z","timestamp":1760623366150,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T00:00:00Z","timestamp":1699315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,7]]},"DOI":"10.1145\/3627050.3627059","type":"proceedings-article","created":{"date-parts":[[2024,3,22]],"date-time":"2024-03-22T12:06:16Z","timestamp":1711109176000},"page":"113-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["can-logic: Automotive Intrusion Detection via Temporal Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6673-6163","authenticated-orcid":false,"given":"Brooke","family":"Lampe","sequence":"first","affiliation":[{"name":"Technical University of Denmark, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4384-5786","authenticated-orcid":false,"given":"Weizhi","family":"Meng","sequence":"additional","affiliation":[{"name":"Technical University of Denmark, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,3,22]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Control of Air Pollution From New Motor Vehicles","author":"Environmental\u00a0Protection Agency","year":"1999","unstructured":"Environmental\u00a0Protection Agency. 1999. Control of Air Pollution From New Motor Vehicles; Compliance Programs for New Light-Duty Vehicles and Light-Duty Trucks.National Archives (1999). https:\/\/www.federalregister.gov\/documents\/1999\/05\/04\/99-9062\/control-of-air-pollution-from-new-motor-vehicles-compliance-programs-for-new-light-duty-vehicles-and"},{"key":"e_1_3_2_2_2_1","volume-title":"Logics and Models of Real Time: A Survey","author":"Alur Rajeev","year":"1992","unstructured":"Rajeev Alur and Thomas\u00a0A. Henzinger. 1992. Logics and Models of Real Time: A Survey.Cornell University (1992). https:\/\/ecommons.cornell.edu\/handle\/1813\/7102"},{"key":"e_1_3_2_2_3_1","volume-title":"The First-Order Logic of Signals.2018 International Conference on Embedded Software (EMSOFT)","author":"Bakhirkin Alexey","year":"2018","unstructured":"Alexey Bakhirkin, Thomas Ferr\u00e8re, Thomas\u00a0A. Henzinger, and Deian Ni\u010dkovi\u0107l. 2018. The First-Order Logic of Signals.2018 International Conference on Embedded Software (EMSOFT) (2018). https:\/\/ieeexplore.ieee.org\/document\/8537203"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (2018-10-30), Tiziana Margaria and Bernhard Steffen (Eds.). Vol.\u00a011247","author":"Bonakdarpour Borzoo","key":"e_1_3_2_2_5_1","unstructured":"Borzoo Bonakdarpour, Jyotirmoy\u00a0V. Deshmukh, and Miroslav Pajic. 2018. Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (2018-10-30), Tiziana Margaria and Bernhard Steffen (Eds.). Vol.\u00a011247. Springer International Publishing, 9 \u2013 18. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-03427-6_2"},{"key":"e_1_3_2_2_6_1","volume-title":"Evaluation of CAN Bus Security Challenges.Sensors 20","author":"Bozdal Mehmet","year":"2020","unstructured":"Mehmet Bozdal, Mohammad Samie, Sohaib Aslam, and Ian Jennions. 2020. Evaluation of CAN Bus Security Challenges.Sensors 20 (2020). https:\/\/www.ncbi.nlm.nih.gov\/pmc\/articles\/PMC7219335\/"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58976-7_2"},{"key":"e_1_3_2_2_8_1","volume-title":"Doan and Subramaniam Ganesan","author":"P.","year":"2017","unstructured":"Tri\u00a0P. Doan and Subramaniam Ganesan. 2017. CAN Crypto FPGA Chip to Secure Data Transmitted Through CAN FD Bus Using AES-128 and SHA-1 Algorithms with A Symmetric Key.SAE International (2017). https:\/\/saemobilus.sae.org\/content\/2017-01-1612\/"},{"key":"e_1_3_2_2_9_1","volume-title":"Three landmark UN vehicle regulations enter into force.United Nations Economic Commission for Europe (UNECE)","author":"United Nations Economic\u00a0Commission for Europe\u00a0(UNECE). 2021.","year":"2021","unstructured":"United Nations Economic\u00a0Commission for Europe\u00a0(UNECE). 2021. Three landmark UN vehicle regulations enter into force.United Nations Economic Commission for Europe (UNECE) (2021). https:\/\/unece.org\/sustainable-development\/press\/three-landmark-un-vehicle-regulations-enter-force"},{"key":"e_1_3_2_2_10_1","volume-title":"UN Regulation No. 155 - Cyber security and cyber security management system.United Nations Economic Commission for Europe (UNECE)","author":"United Nations Economic\u00a0Commission for Europe\u00a0(UNECE). 2021.","year":"2021","unstructured":"United Nations Economic\u00a0Commission for Europe\u00a0(UNECE). 2021. UN Regulation No. 155 - Cyber security and cyber security management system.United Nations Economic Commission for Europe (UNECE) (2021). https:\/\/unece.org\/transport\/documents\/2021\/03\/standards\/un-regulation-no-155-cyber-security-and-cyber-security"},{"key":"e_1_3_2_2_11_1","volume-title":"Exploring Controller Area Networks.;login: 40","author":"Foster Ian","year":"2015","unstructured":"Ian Foster and Karl Koscher. 2015. Exploring Controller Area Networks.;login: 40 (2015), 6 \u2013 10. https:\/\/www.usenix.org\/system\/files\/login\/articles\/login_dec15_02_foster.pdf"},{"key":"e_1_3_2_2_12_1","volume-title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence(IJCAI \u201913)","author":"Giacomo Giuseppe\u00a0De","year":"2013","unstructured":"Giuseppe\u00a0De Giacomo and Moshe\u00a0Y. Vardi. 2013. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence(IJCAI \u201913). AAAI Press, 854 \u2013 860. https:\/\/www.ijcai.org\/Proceedings\/13\/Papers\/132.pdf"},{"key":"e_1_3_2_2_13_1","volume-title":"CAN XL: Next step in CAN evolution.Bosch semiconductors for Automotive","author":"Robert\u00a0Bosch","year":"2023","unstructured":"Robert\u00a0Bosch GmbH. 2023. CAN XL: Next step in CAN evolution.Bosch semiconductors for Automotive (2023). https:\/\/www.bosch-semiconductors.com\/ip-modules\/can-protocols\/can-xl\/"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90109-4"},{"key":"e_1_3_2_2_15_1","volume-title":"A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance","author":"Huang Zhiyuan","year":"2023","unstructured":"Zhiyuan Huang, Weiyao Lan, and Xiao Yu. 2023. A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance.IEEE Transactions on Intelligent Vehicles (2023), 1 \u2013 10. https:\/\/ieeexplore.ieee.org\/document\/10144389"},{"key":"e_1_3_2_2_16_1","volume-title":"CAN FD - The basic idea.CAN in Automation (CiA)","author":"CAN","year":"2023","unstructured":"CAN in Automation\u00a0(CiA). 2023. CAN FD - The basic idea.CAN in Automation (CiA) (2023). https:\/\/www.can-cia.org\/can-knowledge\/can\/can-fd\/"},{"key":"e_1_3_2_2_17_1","volume-title":"Anomaly detection in cyber-physical systems: A formal methods approach.53rd IEEE Conference on Decision and Control","author":"Jones Austin","year":"2014","unstructured":"Austin Jones, Zhaodan Kong, and Calin Belta. 2014. Anomaly detection in cyber-physical systems: A formal methods approach.53rd IEEE Conference on Decision and Control (2014). https:\/\/ieeexplore.ieee.org\/document\/7039487"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_2_19_1","volume-title":"can-train-and-test.Bitbucket","author":"Lampe Brooke","year":"2023","unstructured":"Brooke Lampe. 2023. can-train-and-test.Bitbucket (2023). https:\/\/bitbucket.org\/brooke-lampe\/can-train-and-test\/src\/master\/"},{"key":"e_1_3_2_2_20_1","volume-title":"IDS for CAN: A Practical Intrusion Detection System for CAN Bus Security.2022 IEEE Global Communications Conference (GLOBECOM 2022)","author":"Lampe Brooke","year":"2022","unstructured":"Brooke Lampe and Weizhi Meng. 2022. IDS for CAN: A Practical Intrusion Detection System for CAN Bus Security.2022 IEEE Global Communications Conference (GLOBECOM 2022) (2022). https:\/\/ieeexplore.ieee.org\/document\/10001536"},{"key":"e_1_3_2_2_21_1","volume-title":"can-train-and-test: A Curated CAN Dataset for Automotive Intrusion Detection.arXiv","author":"Lampe Brooke","year":"2023","unstructured":"Brooke Lampe and Weizhi Meng. 2023. can-train-and-test: A Curated CAN Dataset for Automotive Intrusion Detection.arXiv (2023). arxiv:2308.04972\u00a0[cs.CR] https:\/\/arxiv.org\/pdf\/2308.04972.pdf"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2023.119771"},{"key":"e_1_3_2_2_23_1","volume-title":"Verification of Temporal Properties in Automotive Embedded Software.2008 Design, Automation and Test in Europe","author":"Lettnin Djones","year":"2008","unstructured":"Djones Lettnin, Pradeep\u00a0K. Nalla, Jurgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht, and Stephan Reitemeyer. 2008. Verification of Temporal Properties in Automotive Embedded Software.2008 Design, Automation and Test in Europe (2008). https:\/\/ieeexplore.ieee.org\/document\/4484680"},{"key":"e_1_3_2_2_24_1","volume-title":"A Fight Over the Right to Repair Cars Takes a Wild Turn. Wired","author":"Marshall Aarian","year":"2023","unstructured":"Aarian Marshall. 2023. A Fight Over the Right to Repair Cars Takes a Wild Turn. Wired (2023). https:\/\/www.wired.com\/story\/right-to-repair-cars-hackers\/"},{"key":"e_1_3_2_2_25_1","volume-title":"Remote Exploitation of an Unaltered Passenger Vehicle.IOActive","author":"Miller Charlie","year":"2015","unstructured":"Charlie Miller and Chris Valasek. 2015. Remote Exploitation of an Unaltered Passenger Vehicle.IOActive (2015). https:\/\/ioactive.com\/wp-content\/uploads\/2018\/05\/IOActive_Remote_Car_Hacking-1.pdf"},{"key":"e_1_3_2_2_26_1","volume-title":"CAN Message Injection.Illmatics","author":"Miller Charlie","year":"2016","unstructured":"Charlie Miller and Chris Valasek. 2016. CAN Message Injection.Illmatics (2016). https:\/\/illmatics.com\/can%20message%20injection.pdf"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.4271\/2023-01-0041"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_23"},{"key":"e_1_3_2_2_29_1","volume-title":"The temporal logic of programs.18th Annual Symposium on Foundations of Computer Science (sfcs 1977)","author":"Pnueli Amir","year":"1977","unstructured":"Amir Pnueli. 1977. The temporal logic of programs.18th Annual Symposium on Foundations of Computer Science (sfcs 1977) (1977). https:\/\/ieeexplore.ieee.org\/document\/4567924"},{"key":"e_1_3_2_2_30_1","volume-title":"The latest \u2019right to repair","author":"Povich S.","year":"2023","unstructured":"Elaine\u00a0S. Povich. 2023. The latest \u2019right to repair\u2019 law is the broadest one yet.Omaha World Herald (2023). https:\/\/omaha.com\/news\/the-latest-right-to-repair-law-is-the-broadest-one-yet\/article_bb7204ad-9fca-5685-8568-c5acfd8338fb.html"},{"key":"e_1_3_2_2_31_1","volume-title":"US tells automakers not to comply with Massachusetts vehicle data law","author":"Shepardson David","year":"2023","unstructured":"David Shepardson. 2023. US tells automakers not to comply with Massachusetts vehicle data law.Reuters (2023). https:\/\/www.reuters.com\/business\/autos-transportation\/us-tells-automakers-not-comply-with-massachusetts-vehicle-data-law-2023-06-13\/"},{"key":"e_1_3_2_2_32_1","volume-title":"Secure communication over CANBus.2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS)","author":"Siddiqui Ali\u00a0Shuja","year":"2017","unstructured":"Ali\u00a0Shuja Siddiqui, Yutian Gui, Jim Plusquellic, and Fareena Saqib. 2017. Secure communication over CANBus.2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS) (2017). https:\/\/ieeexplore.ieee.org\/document\/8053160"},{"key":"e_1_3_2_2_33_1","volume-title":"Security Authentication System for In-Vehicle Network.Sei Technical Review","author":"Ueda Hiroshi","year":"2015","unstructured":"Hiroshi Ueda, Ryo Kurachi, Hiroaki Takada, Tomohiro Mizutani, Masayuki Inoue, and Satoshi Horihata. 2015. Security Authentication System for In-Vehicle Network.Sei Technical Review (2015). https:\/\/global-sei.com\/technology\/tr\/bn81\/pdf\/81-01.pdf"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2548862"},{"key":"e_1_3_2_2_35_1","volume-title":"VeCure: A practical security framework to protect the CAN bus of vehicles.2014 International Conference on the Internet of Things (IOT)","author":"Wang Qiyan","year":"2014","unstructured":"Qiyan Wang and Sanjay Sawhney. 2014. VeCure: A practical security framework to protect the CAN bus of vehicles.2014 International Conference on the Internet of Things (IOT) (2014). https:\/\/ieeexplore.ieee.org\/document\/7030108"},{"key":"e_1_3_2_2_36_1","volume-title":"Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.2019 Formal Methods in Computer Aided Design (FMCAD)","author":"Wu Meng","year":"2019","unstructured":"Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, and Chao Wang. 2019. Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.2019 Formal Methods in Computer Aided Design (FMCAD) (2019). https:\/\/ieeexplore.ieee.org\/document\/8894264"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"C.-F. Yu and V.D. Gligor. 1990. A specification and verification method for preventing denial of service.IEEE Transactions on Software Engineering 16 (1990) 581 \u2013 592. https:\/\/ieeexplore.ieee.org\/document\/55087","DOI":"10.1109\/32.55087"}],"event":{"name":"IoT 2023: The International Conference on the Internet of Things","acronym":"IoT 2023","location":"Nagoya Japan"},"container-title":["Proceedings of the International Conference on the Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627050.3627059","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627050.3627059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T17:38:31Z","timestamp":1756489111000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627050.3627059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,7]]},"references-count":37,"alternative-id":["10.1145\/3627050.3627059","10.1145\/3627050"],"URL":"https:\/\/doi.org\/10.1145\/3627050.3627059","relation":{},"subject":[],"published":{"date-parts":[[2023,11,7]]},"assertion":[{"value":"2024-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}