{"id":"https://openalex.org/W4416332570","doi":"https://doi.org/10.1145/3777458","title":"RSU Placement Optimization for Securing Vehicle Platoon against False Injection Attacks","display_name":"RSU Placement Optimization for Securing Vehicle Platoon against False Injection Attacks","publication_year":2025,"publication_date":"2025-11-18","ids":{"openalex":"https://openalex.org/W4416332570","doi":"https://doi.org/10.1145/3777458"},"language":"en","primary_location":{"id":"doi:10.1145/3777458","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3777458","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076520857","display_name":"Anik Roy","orcid":"https://orcid.org/0009-0003-3942-1830"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Anik Roy","raw_affiliation_strings":["Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India","Indian Institute of Technology Kharagpur, India"],"raw_orcid":"https://orcid.org/0009-0003-3942-1830","affiliations":[{"raw_affiliation_string":"Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016741474","display_name":"Ipsita Koley","orcid":"https://orcid.org/0000-0001-9033-3295"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ipsita Koley","raw_affiliation_strings":["Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","Indian Institute of Technology Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0001-9033-3295","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043820921","display_name":"Sunandan Adhikary","orcid":"https://orcid.org/0000-0002-2882-8702"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sunandan Adhikary","raw_affiliation_strings":["Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","Indian Institute of Technology Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-2882-8702","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100716392","display_name":"Arnab Sarkar","orcid":"https://orcid.org/0000-0002-5930-2180"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arnab Sarkar","raw_affiliation_strings":["Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India","Indian Institute of Technology Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-5930-2180","affiliations":[{"raw_affiliation_string":"Advanced Technology Development Centre, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085224640","display_name":"Soumyajit Dey","orcid":"https://orcid.org/0000-0001-9329-6389"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Soumyajit Dey","raw_affiliation_strings":["Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","Indian Institute of Technology Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0001-9329-6389","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]},{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5076520857"],"corresponding_institution_ids":["https://openalex.org/I145894827"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39325567,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"2","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.692300021648407,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10524","display_name":"Traffic control and management","score":0.692300021648407,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.2606000006198883,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.007899999618530273,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/platoon","display_name":"Platoon","score":0.9916999936103821},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5805000066757202},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5742999911308289},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5026000142097473},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.321399986743927},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.31470000743865967},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.31299999356269836},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.31290000677108765}],"concepts":[{"id":"https://openalex.org/C2777735972","wikidata":"https://www.wikidata.org/wiki/Q1061967","display_name":"Platoon","level":3,"score":0.9916999936103821},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5805000066757202},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5389000177383423},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5026000142097473},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3571999967098236},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.34599998593330383},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C47796450","wikidata":"https://www.wikidata.org/wiki/Q508378","display_name":"Intelligent transportation system","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3077999949455261},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.29820001125335693},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C176777502","wikidata":"https://www.wikidata.org/wiki/Q4774623","display_name":"Anticipation (artificial intelligence)","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.25600001215934753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3777458","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3777458","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1655377165","https://openalex.org/W1968499534","https://openalex.org/W1987806716","https://openalex.org/W1993180463","https://openalex.org/W1998758908","https://openalex.org/W2001084946","https://openalex.org/W2003530067","https://openalex.org/W2086861723","https://openalex.org/W2110052353","https://openalex.org/W2114936722","https://openalex.org/W2116520617","https://openalex.org/W2181989096","https://openalex.org/W2206086386","https://openalex.org/W2343541124","https://openalex.org/W2595545394","https://openalex.org/W2745694177","https://openalex.org/W2781590882","https://openalex.org/W2782796497","https://openalex.org/W2784215656","https://openalex.org/W2792045232","https://openalex.org/W2803355698","https://openalex.org/W2808562556","https://openalex.org/W2898985346","https://openalex.org/W2901778378","https://openalex.org/W2903709398","https://openalex.org/W2905010095","https://openalex.org/W2910771712","https://openalex.org/W2912043463","https://openalex.org/W2920268274","https://openalex.org/W2964243504","https://openalex.org/W2971617045","https://openalex.org/W2973012476","https://openalex.org/W2973473197","https://openalex.org/W2996776714","https://openalex.org/W3007519830","https://openalex.org/W3041482827","https://openalex.org/W3044866117","https://openalex.org/W3082993789","https://openalex.org/W3097420500","https://openalex.org/W3101398983","https://openalex.org/W3164317619","https://openalex.org/W3181418801","https://openalex.org/W3191279901","https://openalex.org/W3203004344","https://openalex.org/W3207444057","https://openalex.org/W4200255682","https://openalex.org/W4230861591","https://openalex.org/W4252231101","https://openalex.org/W4309466297","https://openalex.org/W4313496695","https://openalex.org/W4328028628","https://openalex.org/W4377968384","https://openalex.org/W4386569070","https://openalex.org/W4387883725","https://openalex.org/W4387885905","https://openalex.org/W4388878590","https://openalex.org/W4396853085","https://openalex.org/W4403094402"],"related_works":[],"abstract_inverted_index":{"Vehicle":[0,23],"platooning":[1,301,352],"has":[2],"emerged":[3],"as":[4,40,153],"a":[5,27,41,86,100,146,169,183,194,207,210,280],"prominent":[6],"Intelligent":[7],"Transportation":[8],"Systems":[9],"(ITS)":[10],"application":[11],"due":[12,115],"to":[13,54,72,116,158,173,189,238,341],"its":[14,262],"promise":[15],"toward":[16],"enabling":[17],"high-speed":[18],"movement":[19],"of":[20,75,136,145,156,206,243,252,298],"Connected":[21],"Autonomous":[22],"(CAV)":[24],"fleets":[25,60],"in":[26,249,269,330],"close":[28,31,102],"formation.":[29],"This":[30],"formation":[32,103],"is":[33,215,236,259,339],"usually":[34],"associated":[35],"with":[36],"stringent":[37,57],"constraints":[38],"such":[39,224],"short":[42],"and":[43,98,160,256,278,293],"strictly":[44],"bounded":[45],"safety":[46,205,241,297,322],"gaps":[47],"between":[48],"consecutive":[49],"platoon":[50,66,108,117,122,208],"vehicles.":[51],"In":[52,177],"order":[53],"meet":[55],"these":[56],"specifications,":[58],"CAV":[59],"critically":[61],"depend":[62],"on":[63],"the":[64,121,134,143,154,198,204,226,231,240,244,250,270,296,299,311,337],"underlying":[65],"communication":[67],"protocols,":[68],"which":[69,187],"are":[70],"vulnerable":[71],"various":[73],"types":[74],"attacks":[76,268],"that":[77,203,225,336],"may":[78],"be":[79,133,318],"launched":[80],"by":[81,104,261],"an":[82,129,220,290],"attacker.":[83],"For":[84],"instance,":[85],"common":[87],"attack,":[88,94],"namely":[89],"False":[90],"Data":[91],"Injection":[92],"(FDI)":[93],"can":[95,132,151,171,315],"potentially":[96],"disrupt":[97],"destabilize":[99],"platoon\u2019s":[101,247],"causing":[105,111],"collisions":[106],"among":[107],"vehicles,":[109],"or":[110],"potential":[112],"traffic":[113],"disruption":[114],"slowdown,":[118],"thus":[119],"making":[120],"unsafe":[123],".":[124],"One":[125],"mechanism":[126],"for":[127],"mitigating":[128],"FDI":[130,212,267],"attack":[131,162,213,228,254,305],"placement":[135,222],"uniformly":[137],"separated":[138],"Road-Side":[139],"Units":[140],"(RSUs)":[141],"along":[142,193],"path":[144,170,195],"vehicle":[147],"platoon.":[148,245],"The":[149,307],"RSUs":[150],"act":[152],"root":[155],"trust":[157],"detect":[159],"mitigate":[161],"attempts.":[163],"However,":[164],"frequent":[165],"RSU":[166,191,221,312,343],"placements":[167],"over":[168],"lead":[172],"prohibitive":[174],"deployment":[175,313],"costs.":[176],"this":[178,276,326],"work,":[179],"we":[180],"first":[181],"formulate":[182],"constraint":[184],"optimization":[185],"problem":[186],"aims":[188],"minimize":[190,342],"deployments":[192,344],"(by":[196],"maximizing":[197],"inter-RSU":[199,233,271,291],"distance),":[200],"while":[201,345],"ensuring":[202],"under":[209,348],"given":[211],"scenario":[214],"guaranteed.":[216],"Our":[217,286,332],"methodology":[218],"outputs":[219],"solution":[223,284,302],"worst-case":[227],"(which":[229],"spans":[230],"entire":[232],"blind":[234,272],"spot)":[235],"unable":[237],"violate":[239],"guarantee":[242],"A":[246],"robustness,":[248],"presence":[251],"state-of-the-art":[253],"detectors":[255],"trusted":[257],"RSUs,":[258],"defined":[260],"resilience":[263],"against":[264,303],"possible":[265,304],"stealthy":[266],"spots.":[273],"We":[274,324],"leverage":[275],"concept":[277],"propose":[279],"novel":[281],"SMT-based":[282],"hierarchical":[283],"strategy.":[285],"method":[287,338],"iteratively":[288],"hypothesizes":[289],"distance":[292],"formally":[294],"checks":[295],"resulting":[300],"scenarios.":[306,353],"process":[308],"terminates":[309],"when":[310],"spacings":[314],"no":[316],"longer":[317],"relaxed":[319],"without":[320],"violating":[321],"constraints.":[323],"motivate":[325],"work":[327],"through":[328],"simulations":[329],"PLEXE.":[331],"experimental":[333],"results":[334],"demonstrate":[335],"able":[340],"preserving":[346],"safety,":[347],"diverse":[349],"real-world":[350],"highway":[351]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-11-18T00:00:00"}