{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T21:39:51Z","timestamp":1755034791294},"reference-count":61,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1109\/csf51468.2021.00035","type":"proceedings-article","created":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T20:47:26Z","timestamp":1628628446000},"page":"1-16","source":"Crossref","is-referenced-by-count":9,"title":["Relational Analysis of Sensor Attacks on Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Jian","family":"Xiang","sequence":"first","affiliation":[{"name":"Harvard University,SEAS"}]},{"given":"Nathan","family":"Fulton","sequence":"additional","affiliation":[{"name":"MIT-IBM Watson AI Lab"}]},{"given":"Stephen","family":"Chong","sequence":"additional","affiliation":[{"name":"Harvard University,SEAS"}]}],"member":"263","reference":[{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2016","author":"lee","key":"ref13"},{"key":"ref57","article-title":"Relay attacks on passive keyless entry and start systems in modern cars","author":"francillon","year":"2011","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.66"},{"key":"ref56","first-page":"150","article-title":"Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system","author":"li","year":"2011","journal-title":"IEEE International Conference on E-Health Networking Applications and Services"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.20"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref58","first-page":"447","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"2011","journal-title":"USENIX Security Symposium"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209151"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"journal-title":"Principles of Cyber-Physical Systems","year":"2015","author":"alur","key":"ref11"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.64"},{"key":"ref54","first-page":"191","article-title":"Relational differential dynamic logic","author":"kol?\u00e1k","year":"2020","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3373270"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3264888.3264889"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361212"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-019-00344-9"},{"key":"ref45","first-page":"447","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"2011","journal-title":"USENIX Security Symposium"},{"journal-title":"Verification of information flow security in cyber-physical systems","year":"2013","author":"akella","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55602-8_217"},{"journal-title":"Boeing 737 Max Is automation to blame?","year":"2021","key":"ref42"},{"key":"ref41","first-page":"208","article-title":"Verification challenges in F-16 ground collision avoidance and other automated maneuvers","author":"heidlauf","year":"2018","journal-title":"Workshop on Applied Verification for Continuous and Hybrid Systems"},{"journal-title":"Boeing The 737 MAX MCAS software enhancement","year":"2021","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.2514\/6.2001-4347"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2461446.2461458"},{"key":"ref8","first-page":"881","article-title":"Rocking drones with intentional sound noise on gyroscopic sensors","author":"son","year":"2015","journal-title":"USENIX Security Symposium"},{"key":"ref7","article-title":"Controlling UAVs with sensor input spoofing attacks","author":"davidson","year":"2016","journal-title":"USENIX Workshop on Offensive Technologies (WOOT)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tra.2016.09.010"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917733549"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_2"},{"journal-title":"MIT Technology Review","article-title":"‘Spoofers’ use fake GPS signals to knock a yacht off course","year":"2013","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339815"},{"journal-title":"Maneuvering characteristics augmentation system - wikipedia","year":"2021","key":"ref40"},{"journal-title":"Automotive Control Systems for Engine Driveline and Vehicle","year":"2000","author":"kiencke","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_22"},{"journal-title":"Modelling & development of antilock braking system","year":"2011","author":"bhivate","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.08.020"},{"key":"ref31","first-page":"352","article-title":"Secure information flow as a safety problem","author":"terauchi","year":"2005","journal-title":"The 4th International Symposium on Static Analysis"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_9"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72734-7_32"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_28"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10407-2_40"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1080\/004231105123313868"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9385-1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511777110"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_9"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843720"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2016.2607420"}],"event":{"name":"2021 IEEE 34th Computer Security Foundations Symposium (CSF)","start":{"date-parts":[[2021,6,21]]},"location":"Dubrovnik, Croatia","end":{"date-parts":[[2021,6,25]]}},"container-title":["2021 IEEE 34th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9504607\/9505172\/09505198.pdf?arnumber=9505198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:18:36Z","timestamp":1699485516000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9505198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/csf51468.2021.00035","relation":{},"subject":[],"published":{"date-parts":[[2021,6]]}}}