{"id":"https://openalex.org/W4377838639","doi":"https://doi.org/10.1145/3575757.3575762","title":"A Procrastinating Control-Flow Integrity Framework for Periodic Real-Time Systems","display_name":"A Procrastinating Control-Flow Integrity Framework for Periodic Real-Time Systems","publication_year":2023,"publication_date":"2023-05-23","ids":{"openalex":"https://openalex.org/W4377838639","doi":"https://doi.org/10.1145/3575757.3575762"},"language":"en","primary_location":{"id":"doi:10.1145/3575757.3575762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575757.3575762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575757.3575762","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 31st International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3575757.3575762","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007804570","display_name":"Tanmaya Mishra","orcid":"https://orcid.org/0000-0002-9956-2956"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tanmaya Mishra","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Virginia Tech, USA"],"raw_orcid":"https://orcid.org/0000-0002-9956-2956","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035836126","display_name":"Jinwen Wang","orcid":"https://orcid.org/0009-0009-7533-085X"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinwen Wang","raw_affiliation_strings":["Department of Computer Science and Engineering, Washington University in St. Louis, USA"],"raw_orcid":"https://orcid.org/0009-0009-7533-085X","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Washington University in St. Louis, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047344565","display_name":"Thidapat Chantem","orcid":"https://orcid.org/0000-0002-5688-5720"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thidapat Chantem","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Virginia Tech, USA"],"raw_orcid":"https://orcid.org/0000-0002-5688-5720","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042147260","display_name":"Ryan Gerdes","orcid":"https://orcid.org/0000-0003-0876-1181"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Gerdes","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Virginia Tech, USA"],"raw_orcid":"https://orcid.org/0000-0003-0876-1181","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Virginia Tech, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100404897","display_name":"Ning Zhang","orcid":"https://orcid.org/0000-0003-0670-2161"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ning Zhang","raw_affiliation_strings":["Department of Computer Science and Engineering, Washington University in St. Louis, USA"],"raw_orcid":"https://orcid.org/0000-0003-0670-2161","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Washington University in St. Louis, USA","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5007804570"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.1704,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53455253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"132","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9890000224113464,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8768565654754639},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7082598209381104},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5942710041999817},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5833153128623962},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5173291563987732},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.48653069138526917},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.48466306924819946},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4844939410686493},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.48414427042007446},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.41882947087287903},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.38404908776283264},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.180099755525589},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.14037710428237915},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.11409264802932739}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8768565654754639},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7082598209381104},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5942710041999817},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5833153128623962},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5173291563987732},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48653069138526917},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.48466306924819946},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4844939410686493},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.48414427042007446},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.41882947087287903},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.38404908776283264},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.180099755525589},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.14037710428237915},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11409264802932739},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3575757.3575762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575757.3575762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575757.3575762","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 31st International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/115727","is_oa":true,"landing_page_url":"http://hdl.handle.net/10919/115727","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/f702ec5b-b143-4973-aaec-b8cbf18b057d/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1145/3575757.3575762","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575757.3575762","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575757.3575762","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 31st International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1190438178","display_name":"Collaborative Research: CPS: Medium: Timeliness vs. Trustworthiness: Balancing Predictability and Security in Time-Sensitive CPS Design","funder_award_id":"2038995","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2546320833","display_name":null,"funder_award_id":"2038726,1941524,2038995","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5332154980","display_name":null,"funder_award_id":"1941524","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5500155747","display_name":null,"funder_award_id":"2038726","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6657761275","display_name":null,"funder_award_id":"CNS-2038995","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4377838639.pdf","grobid_xml":"https://content.openalex.org/works/W4377838639.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W87635799","https://openalex.org/W159494641","https://openalex.org/W1590127667","https://openalex.org/W1969501726","https://openalex.org/W1993682390","https://openalex.org/W2011479059","https://openalex.org/W2074943483","https://openalex.org/W2162800072","https://openalex.org/W2350778671","https://openalex.org/W2774510177","https://openalex.org/W2795272695","https://openalex.org/W2989040657","https://openalex.org/W3008498533","https://openalex.org/W3094121296","https://openalex.org/W3177896746","https://openalex.org/W4233985188","https://openalex.org/W4246166885","https://openalex.org/W4299522686","https://openalex.org/W4301329292"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W1590307681","https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2298968419","https://openalex.org/W2188516702"],"abstract_inverted_index":{"Connected":[0],"embedded":[1],"systems":[2,5,42,82],"and":[3,28,34,113,128,136,168,171,213,226],"cyber-physical":[4],"exhibit":[6],"larger":[7],"attack":[8],"surface":[9],"than":[10],"isolated":[11],"ones.":[12],"Control-flow":[13],"integrity":[14],"(CFI)":[15],"is":[16,180],"a":[17,85,94,116,123],"set":[18],"of":[19,79,93,110,126,189,205],"techniques":[20],"to":[21,83,121,140,153,174,216],"prevent":[22],"attackers":[23],"from":[24],"redirecting":[25],"program":[26],"control-flow":[27,36],"performing":[29,67],"arbitrary":[30,155],"computation,":[31],"by":[32],"detecting":[33],"checking":[35],"transfers.":[37],"Currently":[38],"CFI":[39,68,87,102,157,178,215],"for":[40,54,210],"real-time":[41,81,96,146,191],"either":[43],"operate":[44],"in-line":[45,129,234],"with":[46,106],"code":[47],"execution,":[48],"often":[49],"depending":[50],"on":[51,63,133,183,223],"hardware":[52,225],"mechanisms":[53],"improved":[55],"performance":[56,142],"and/or":[57],"security":[58,159],"guarantees,":[59],"or":[60],"focus":[61],"solely":[62],"budget":[64],"management":[65],"when":[66],"out-of-order.":[69],"In":[70],"this":[71],"work,":[72],"we":[73,163],"exploit":[74],"the":[75,107,111,151,187,190],"predictable":[76],"release":[77],"pattern":[78],"periodic":[80],"create":[84],"novel":[86,95,117],"framework.":[88],"This":[89],"framework":[90,149],"(1)":[91],"consists":[92],"task":[97,198],"model,":[98],"which":[99],"explicitly":[100,175],"considers":[101],"related":[103],"execution":[104],"along":[105],"regular":[108],"portion":[109],"tasks,":[112,160],"(2)":[114],"presents":[115],"hardware-assisted":[118],"trusted":[119],"scheduler":[120],"enable":[122],"unique":[124],"combination":[125],"out-of-order":[127],"control":[130],"flow":[131],"enforcement":[132],"forward":[134],"edge":[135],"backwards":[137],"edge,":[138],"respectively,":[139],"minimize":[141],"overhead":[143,235],"while":[144],"ensuring":[145],"deadlines.":[147],"Our":[148],"provides":[150],"flexibility":[152],"model":[154,199],"forward-edge":[156],"as":[158,236],"so":[161],"that":[162,177,195,229],"may":[164],"strategically":[165],"schedule":[166],"them,":[167],"provide":[169],"schedulability":[170],"correctness":[172],"analysis":[173],"ensure":[176],"verification":[179],"always":[181],"performed":[182],"time":[184],"without":[185],"affecting":[186],"timeliness":[188],"tasks.":[192],"Simulations":[193],"show":[194],"our":[196,221,230],"new":[197],"outperforms":[200],"existing":[201,237],"work":[202],"in":[203],"terms":[204],"resource":[206],"usage,":[207],"thus":[208],"allowing":[209],"more":[211],"complex":[212],"sophisticated":[214],"be":[217],"implemented.":[218],"We":[219],"implement":[220],"approach":[222,231],"real":[224],"microbenchmarks":[227],"confirm":[228],"has":[232],"comparable":[233],"work.":[238]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}