{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T13:33:31Z","timestamp":1790948011742,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523717","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"46-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["P4BID: information flow control in p4"],"prefix":"10.1145","author":[{"given":"Karuna","family":"Grewal","sequence":"first","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Loris","family":"D'Antoni","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Justin","family":"Hsu","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371110"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Birkner R\u00fcdiger","unstructured":"R\u00fcdiger Birkner , Dana Drachsler-Cohen , Laurent Vanbever , and Martin T. Vechev . 2020. Config2Spec: Mining Network Specifications from Network Configurations . In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , Santa Clara, California. 969\u2013984. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/birkner R\u00fcdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, and Martin T. Vechev. 2020. Config2Spec: Mining Network Specifications from Network Configurations. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Santa Clara, California. 969\u2013984. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/birkner"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_1_7_1","volume-title":"Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX Symposium on Networked Systems Design and Implementation (NSDI). 133\u2013153","author":"Campbell Eric Hayden","year":"2021","unstructured":"Eric Hayden Campbell , William T. Hallahan , Priya Srikumar , Carmelo Cascone , Jed Liu , Vignesh Ramamurthy , Hossein Hojjat , Ruzica Piskac , Robert Soul\u00e9 , and Nate Foster . 2021 . Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX Symposium on Networked Systems Design and Implementation (NSDI). 133\u2013153 . https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/campbell Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soul\u00e9, and Nate Foster. 2021. Avenir: Managing Data Plane Diversity with Control Plane Synthesis. In USENIX Symposium on Networked Systems Design and Implementation (NSDI). 133\u2013153. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/campbell"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434322"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2019.12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498701"},{"key":"e_1_3_2_1_13_1","unstructured":"Facebook. 2021. More details about the October 4 outage. https:\/\/engineering.fb.com\/2021\/10\/05\/networking-traffic\/outage-details\/  Facebook. 2021. More details about the October 4 outage. https:\/\/engineering.fb.com\/2021\/10\/05\/networking-traffic\/outage-details\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386019"},{"key":"e_1_3_2_1_18_1","volume-title":"Netchain: Scale-Free Sub-RTT Coordination. In USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Jin Xin","year":"2018","unstructured":"Xin Jin , Xiaozhou Li , Haoyu Zhang , Nate Foster , Jeongkeun Lee , Robert Soul\u00e9 , Changhoon Kim , and Ion Stoica . 2018 . Netchain: Scale-Free Sub-RTT Coordination. In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , Renton, Washington. USA, 35\u201349. isbn:978 1931971430 Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soul\u00e9, Changhoon Kim, and Ion Stoica. 2018. Netchain: Scale-Free Sub-RTT Coordination. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, Washington. USA, 35\u201349. isbn:9781931971430"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446764"},{"key":"e_1_3_2_1_21_1","unstructured":"Qiao Kang Lei Xue Adam Morrison Yuxin Tang Ang Chen and Xiapu Luo. 2020. Programmable In-Network Security for Context-aware BYOD Policies. In USENIX Security Smposium (USENIX). 595\u2013612. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/kang  Qiao Kang Lei Xue Adam Morrison Yuxin Tang Ang Chen and Xiapu Luo. 2020. Programmable In-Network Security for Context-aware BYOD Policies. In USENIX Security Smposium (USENIX). 595\u2013612. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/kang"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_23_1","volume-title":"Vechev","author":"Meier Roland","year":"2018","unstructured":"Roland Meier , Petar Tsankov , Vincent Lenders , Laurent Vanbever , and Martin T . Vechev . 2018 . NetHide: Secure and Practical Network Topology Obfuscation. In USENIX Security Smposium (USENIX), Baltimore, Maryland . 693\u2013709. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/meier Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, and Martin T. Vechev. 2018. NetHide: Secure and Practical Network Topology Obfuscation. In USENIX Security Smposium (USENIX), Baltimore, Maryland. 693\u2013709. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/meier"},{"key":"e_1_3_2_1_24_1","unstructured":"Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. 2006. Jif 3.0: Java information flow. http:\/\/www.cs.cornell.edu\/jif  Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. 2006. Jif 3.0: Java information flow. http:\/\/www.cs.cornell.edu\/jif"},{"key":"e_1_3_2_1_25_1","unstructured":"P4Lang. 2022. P4_16 Spec. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.0.0-spec.html  P4Lang. 2022. P4_16 Spec. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.0.0-spec.html"},{"key":"e_1_3_2_1_26_1","unstructured":"P4Lang. 2022. P4c Compiler. https:\/\/github.com\/p4lang\/p4c  P4Lang. 2022. P4c Compiler. https:\/\/github.com\/p4lang\/p4c"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385976"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483360"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009845"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3179425"},{"key":"e_1_3_2_1_34_1","volume-title":"Google glitch triggers major internet outage. ZDNet (Nov","author":"Vaughan-Nichols Steven J.","year":"2021","unstructured":"Steven J. Vaughan-Nichols . 2021. Google glitch triggers major internet outage. ZDNet (Nov . 2021 ). https:\/\/www.zdnet.com\/article\/google-glitch-triggers-major-internet-outage\/ Steven J. Vaughan-Nichols. 2021. Google glitch triggers major internet outage. ZDNet (Nov. 2021). https:\/\/www.zdnet.com\/article\/google-glitch-triggers-major-internet-outage\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1996-42-304"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984012"},{"key":"e_1_3_2_1_37_1","volume-title":"USENIX Workshop on Hot Topics in Cloud Computing (HotCloud)","author":"Xing Jiarong","year":"2019","unstructured":"Jiarong Xing , Adam Morrison , and Ang Chen . 2019 . NetWarden: Mitigating Network Covert Channels without Performance Loss . In USENIX Workshop on Hot Topics in Cloud Computing (HotCloud) , Renton, Washington. https:\/\/www.usenix.org\/conference\/hotcloud19\/presentation\/xing Jiarong Xing, Adam Morrison, and Ang Chen. 2019. NetWarden: Mitigating Network Covert Channels without Performance Loss. In USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), Renton, Washington. https:\/\/www.usenix.org\/conference\/hotcloud19\/presentation\/xing"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365860"},{"key":"e_1_3_2_1_39_1","unstructured":"Jiarong Xing Wenqing Wu and Ang Chen. 2021. Ripple: A Programmable Decentralized Link-Flooding Defense Against Adaptive Adversaries. In USENIX Security Smposium (USENIX). 3865\u20133881. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/xing  Jiarong Xing Wenqing Wu and Ang Chen. 2021. Ripple: A Programmable Decentralized Link-Flooding Defense Against Adaptive Adversaries. In USENIX Security Smposium (USENIX). 3865\u20133881. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/xing"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523717","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":37,"alternative-id":["10.1145\/3519939.3523717","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523717","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}