{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:15:14Z","timestamp":1781892914920,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T00:00:00Z","timestamp":1572998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1718083"],"award-info":[{"award-number":["CNS-1718083"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,11,6]]},"DOI":"10.1145\/3319535.3363214","type":"proceedings-article","created":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T13:08:32Z","timestamp":1573132112000},"page":"1115-1129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Proof-Carrying Network Code"],"prefix":"10.1145","author":[{"given":"Christian","family":"Skalka","sequence":"first","affiliation":[{"name":"University of Vermont, Burlington, VT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Ring","sequence":"additional","affiliation":[{"name":"University of Vermont, Burlington, VT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Darais","sequence":"additional","affiliation":[{"name":"University of Vermont, Burlington, VT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minseok","family":"Kwon","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sahil","family":"Gupta","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kyle","family":"Diller","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steffen","family":"Smolka","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,11,6]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210062"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159839"},{"key":"e_1_3_2_2_3_1","volume-title":"Variations in Access Control Logic. In International Conference on Deontic Logic in Computer Science (DEON). 96--109","author":"Abadi Mart'in","year":"2008","unstructured":"Mart'in Abadi . 2008 . Variations in Access Control Logic. In International Conference on Deontic Logic in Computer Science (DEON). 96--109 . https:\/\/doi.org\/10.1007\/978--3--540--70525--3_9 10.1007\/978--3--540--70525--3_9 Mart'in Abadi. 2008. Variations in Access Control Logic. In International Conference on Deontic Logic in Computer Science (DEON). 96--109. https:\/\/doi.org\/10.1007\/978--3--540--70525--3_9"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_2_5_1","volume-title":"Proof-carrying Authentication. In ACM Conference on Computer and Communications Security (CCS). 52--62","author":"Andrew","year":"1970","unstructured":"Andrew W. Appel and Edward W. Felten. 1999 . Proof-carrying Authentication. In ACM Conference on Computer and Communications Security (CCS). 52--62 . https:\/\/doi.org\/10.1145\/3 1970 9.319718 10.1145\/319709.319718 Andrew W. Appel and Edward W. Felten. 1999. Proof-carrying Authentication. In ACM Conference on Computer and Communications Security (CCS). 52--62. https:\/\/doi.org\/10.1145\/319709.319718"},{"key":"e_1_3_2_2_7_1","volume-title":"Certificate Linking and Caching for Logical Trust. CoRR","author":"Cao Qiang","year":"2017","unstructured":"Qiang Cao , Vamsi Thummala , Jeffrey S. Chase , Yuanjun Yao , and Bing Xie . 2017. Certificate Linking and Caching for Logical Trust. CoRR , Vol. abs\/ 1701 .06562 ( 2017 ). http:\/\/arxiv.org\/abs\/1701.06562 Qiang Cao, Vamsi Thummala, Jeffrey S. Chase, Yuanjun Yao, and Bing Xie. 2017. Certificate Linking and Caching for Logical Trust. CoRR, Vol. abs\/1701.06562 (2017). http:\/\/arxiv.org\/abs\/1701.06562"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380587"},{"key":"e_1_3_2_2_9_1","unstructured":"CloudFlare. 2019. Cloudflare. https:\/\/www.cloudflare.com\/.  CloudFlare. 2019. Cloudflare. https:\/\/www.cloudflare.com\/."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2013.05.005"},{"key":"e_1_3_2_2_11_1","unstructured":"fitbit. 2019. Fitbit Charge 3. https:\/\/www.fitbit.com\/home.  fitbit. 2019. Fitbit Charge 3. https:\/\/www.fitbit.com\/home."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677011"},{"key":"e_1_3_2_2_14_1","unstructured":"Raspberry Pi Foundation. 2019. Raspberry Pi 3 Model B+. https:\/\/www.raspberrypi.org\/.  Raspberry Pi Foundation. 2019. Raspberry Pi 3 Model B+. https:\/\/www.raspberrypi.org\/."},{"key":"e_1_3_2_2_15_1","unstructured":"Deepak Garg. 2007. An Introduction to Proof-Carrying Authorization. https:\/\/people.mpi-sws.org\/ dg\/papers\/intro-pca.pdf Course notes for Carnegie Mellon University 18--739: Foundations of Security and Privacy.  Deepak Garg. 2007. An Introduction to Proof-Carrying Authorization. https:\/\/people.mpi-sws.org\/ dg\/papers\/intro-pca.pdf Course notes for Carnegie Mellon University 18--739: Foundations of Security and Privacy."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792803.1792819"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2012-0456"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890956"},{"key":"e_1_3_2_2_19_1","volume-title":"Belief Semantics of Authorization Logic. In ACM Conference on Computer and Communications Security (CCS). 561--572","author":"Andrew","unstructured":"Andrew K. Hirsch and Michael R. Clarkson. 2013 . Belief Semantics of Authorization Logic. In ACM Conference on Computer and Communications Security (CCS). 561--572 . https:\/\/doi.org\/10.1145\/2508859.2516667 10.1145\/2508859.2516667 Andrew K. Hirsch and Michael R. Clarkson. 2013. Belief Semantics of Authorization Logic. In ACM Conference on Computer and Communications Security (CCS). 561--572. https:\/\/doi.org\/10.1145\/2508859.2516667"},{"key":"e_1_3_2_2_20_1","unstructured":"iHealth. 2019. iHealth. https:\/\/ihealthlabs.com\/.  iHealth. 2019. iHealth. https:\/\/ihealthlabs.com\/."},{"key":"e_1_3_2_2_21_1","unstructured":"INRIA. 2019. OCaml. https:\/\/ocaml.org\/.  INRIA. 2019. OCaml. https:\/\/ocaml.org\/."},{"key":"e_1_3_2_2_22_1","volume-title":"Header Space Analysis: Static Checking for Networks. In USENIX Symposium on Network Systems Design and Implementation (NSDI) .","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header Space Analysis: Static Checking for Networks. In USENIX Symposium on Network Systems Design and Implementation (NSDI) . Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In USENIX Symposium on Network Systems Design and Implementation (NSDI) ."},{"key":"e_1_3_2_2_23_1","volume-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time. In USENIX Symposium on Network Systems Design and Implementation (NSDI) .","author":"Khurshid Ahmed","unstructured":"Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , and P. Brighten Godfrey . 2013 . VeriFlow: Verifying Network-Wide Invariants in Real Time. In USENIX Symposium on Network Systems Design and Implementation (NSDI) . Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-Wide Invariants in Real Time. In USENIX Symposium on Network Systems Design and Implementation (NSDI) ."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"key":"e_1_3_2_2_25_1","volume-title":"Towards Secure and Dependable Software-defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN). 55--60","author":"Kreutz Diego","year":"2013","unstructured":"Diego Kreutz , Fernando M.V. Ramos , and Paulo Verissimo . 2013 . Towards Secure and Dependable Software-defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN). 55--60 . https:\/\/doi.org\/10.1145\/2491185.2491199 10.1145\/2491185.2491199 Diego Kreutz, Fernando M.V. Ramos, and Paulo Verissimo. 2013. Towards Secure and Dependable Software-defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN). 55--60. https:\/\/doi.org\/10.1145\/2491185.2491199"},{"key":"e_1_3_2_2_26_1","first-page":"762","article-title":"System and method for medical device authentication","volume":"10","author":"Mihai Dan","year":"2004","unstructured":"Dan Mihai , James Martucci , and Kenneth Kohler . 2004 . System and method for medical device authentication . US Patent App. 10\/748 , 762 . Dan Mihai, James Martucci, and Kenneth Kohler. 2004. System and method for medical device authentication. US Patent App. 10\/748,762.","journal-title":"US Patent App."},{"key":"e_1_3_2_2_27_1","first-page":"681","article-title":"Device authentication system","volume":"7","author":"Miura Takayuki","year":"2010","unstructured":"Takayuki Miura , Tsuyoshi Ono , Naoshi Suzuki , and Kouji Miyata . 2010 . Device authentication system . US Patent 7 , 681 ,033. Takayuki Miura, Tsuyoshi Ono, Naoshi Suzuki, and Kouji Miyata. 2010. Device authentication system. US Patent 7,681,033.","journal-title":"US Patent"},{"key":"e_1_3_2_2_28_1","volume-title":"Composing Software Defined Networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Lombard, IL .","author":"Monsanto Christopher","year":"2013","unstructured":"Christopher Monsanto , Joshua Reich , Nate Foster , Jennifer Rexford , and David Walker . 2013 . Composing Software Defined Networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Lombard, IL . Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. 2013. Composing Software Defined Networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Lombard, IL ."},{"key":"e_1_3_2_2_29_1","volume-title":"Proof-carrying Code. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 106--119","author":"Necula George C.","year":"1997","unstructured":"George C. Necula . 1997 . Proof-carrying Code. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 106--119 . https:\/\/doi.org\/10.1145\/263699.263712 10.1145\/263699.263712 George C. Necula. 1997. Proof-carrying Code. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 106--119. https:\/\/doi.org\/10.1145\/263699.263712"},{"key":"e_1_3_2_2_30_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI). 117--130","author":"Pfaff B.","unstructured":"B. Pfaff , J. Pettit , T. Koponen , E. J. Jackson , A. Zhou , J. Rajahalme , J. Gross , A. Wang , J. Stringer , P. Shelar , K. Amidon , and M. Casado . 2015. The Design and Implementation of Open vSwitch . In USENIX Symposium on Networked Systems Design and Implementation (NSDI). 117--130 . B. Pfaff, J. Pettit, T. Koponen, E. J. Jackson, A. Zhou, J. Rajahalme, J. Gross, A. Wang, J. Stringer, P. Shelar, K. Amidon, and M. Casado. 2015. The Design and Implementation of Open vSwitch. In USENIX Symposium on Networked Systems Design and Implementation (NSDI). 117--130."},{"key":"e_1_3_2_2_31_1","first-page":"4","article-title":"A Judgmental Reconstruction of Modal Logic","volume":"11","author":"Pfenning Frank","year":"2001","unstructured":"Frank Pfenning and Rowan Davies . 2001 . A Judgmental Reconstruction of Modal Logic . Mathematical. Structures in Comp. Sci. , Vol. 11 , 4 (Aug. 2001), 511--540. https:\/\/doi.org\/10.1017\/S0960129501003322 10.1017\/S0960129501003322 Frank Pfenning and Rowan Davies. 2001. A Judgmental Reconstruction of Modal Logic. Mathematical. Structures in Comp. Sci., Vol. 11, 4 (Aug. 2001), 511--540. https:\/\/doi.org\/10.1017\/S0960129501003322","journal-title":"Mathematical. Structures in Comp. Sci."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2604681"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCE.2015.7177843"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952982.1952990"},{"key":"e_1_3_2_2_36_1","unstructured":"Brian Smith. 2019. ring cryptography API for Rust. https:\/\/github.com\/briansmith\/ring  Brian Smith. 2019. ring cryptography API for Rust. https:\/\/github.com\/briansmith\/ring"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784761"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90006-9"},{"key":"e_1_3_2_2_39_1","unstructured":"Mininet Team. 2019. Mininet. http:\/\/mininet.org\/.  Mininet Team. 2019. Mininet. http:\/\/mininet.org\/."},{"key":"e_1_3_2_2_40_1","unstructured":"Withings. 2019. Withings BPM Core. https:\/\/www.withings.com\/.  Withings. 2019. Withings BPM Core. https:\/\/www.withings.com\/."}],"event":{"name":"CCS '19: 2019 ACM SIGSAC Conference on Computer and Communications Security","location":"London United Kingdom","acronym":"CCS '19","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3363214","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319535.3363214","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3319535.3363214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:33Z","timestamp":1750203873000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3319535.3363214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,6]]},"references-count":39,"alternative-id":["10.1145\/3319535.3363214","10.1145\/3319535"],"URL":"https:\/\/doi.org\/10.1145\/3319535.3363214","relation":{},"subject":[],"published":{"date-parts":[[2019,11,6]]},"assertion":[{"value":"2019-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}