{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:15:06Z","timestamp":1771467306580,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"US National Science Foundation","award":["1719403, 2019085, 2126148"],"award-info":[{"award-number":["1719403, 2019085, 2126148"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"DOI":"10.1145\/3517212.3558093","type":"proceedings-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T18:33:41Z","timestamp":1662489221000},"page":"91-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A type-theoretic model on NDN-TLV encoding"],"prefix":"10.1145","author":[{"given":"Xinyu","family":"Ma","sequence":"first","affiliation":[{"name":"University of California"}]},{"given":"Alexander","family":"Afanasyev","sequence":"additional","affiliation":[{"name":"Florida International University"}]},{"given":"Lixia","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2022,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Go Authors. 2022. The Go Programming Language Specification. https:\/\/go.dev\/ref\/spec#Struct_types  The Go Authors. 2022. The Go Programming Language Specification. https:\/\/go.dev\/ref\/spec#Struct_types"},{"key":"e_1_3_2_1_2_1","volume-title":"Nail: A Practical Tool for Parsing and Generating Data Formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Bangert Julian","year":"2014","unstructured":"Julian Bangert and Nickolai Zeldovich . 2014 . Nail: A Practical Tool for Parsing and Generating Data Formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . USENIX Association, Broomfield, CO, 615--628. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/bangert Julian Bangert and Nickolai Zeldovich. 2014. Nail: A Practical Tool for Parsing and Generating Data Formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). USENIX Association, Broomfield, CO, 615--628. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/bangert"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405656.3420233"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC5234"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341686"},{"key":"e_1_3_2_1_6_1","unstructured":"CVE Details. 2021. Openssl : List of security vulnerabilities. https:\/\/www.cvedetails.com\/vulnerability-list\/vendor_id-217\/Openssl.html  CVE Details. 2021. Openssl : List of security vulnerabilities. https:\/\/www.cvedetails.com\/vulnerability-list\/vendor_id-217\/Openssl.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2019.2901487"},{"key":"e_1_3_2_1_8_1","unstructured":"Raymond Hettinger. 2022. Descriptor HowTo Guide. https:\/\/docs.python.org\/3\/howto\/descriptor.html  Raymond Hettinger. 2022. Descriptor HowTo Guide. https:\/\/docs.python.org\/3\/howto\/descriptor.html"},{"key":"e_1_3_2_1_9_1","unstructured":"International Telecommunication Union. 2002. Information Technology --- ASN.1 Encoding Rules --- Specification of Basic Encoding Rules (BER) Canonical Encoding Rules (CER) and Distinguished Encoding Rules (DER). ITU-T Recommendation X.690.  International Telecommunication Union. 2002. Information Technology --- ASN.1 Encoding Rules --- Specification of Basic Encoding Rules (BER) Canonical Encoding Rules (CER) and Distinguished Encoding Rules (DER). ITU-T Recommendation X.690."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC9000"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 5th International Conference on Emerging Networking Experiments and Technologies (CoNEXT '09)","author":"Jacobson Van","unstructured":"Van Jacobson , Diana K. Smetters , James D. Thornton , Michael F. Plass , Nicholas H. Briggs , and Rebecca L. Braynard . 2009. Networking Named Content . In Proceedings of the 5th International Conference on Emerging Networking Experiments and Technologies (CoNEXT '09) . Van Jacobson, Diana K. Smetters, James D. Thornton, Michael F. Plass, Nicholas H. Briggs, and Rebecca L. Braynard. 2009. Networking Named Content. In Proceedings of the 5th International Conference on Emerging Networking Experiments and Technologies (CoNEXT '09)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872887.2750392"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3404868.3406671"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460417.3482969"},{"key":"e_1_3_2_1_15_1","unstructured":"Tahina Ramananandro Antoine Delignat-Lavaud C\u00e9dric Fournet Nikhil Swamy Tej Chajed Nadim Kobeissi and Jonathan Protzenko. 2019. EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. In USENIX Security. USENIX. https:\/\/www.microsoft.com\/en-us\/research\/publication\/everparse\/  Tahina Ramananandro Antoine Delignat-Lavaud C\u00e9dric Fournet Nikhil Swamy Tej Chajed Nadim Kobeissi and Jonathan Protzenko. 2019. EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. In USENIX Security. USENIX. https:\/\/www.microsoft.com\/en-us\/research\/publication\/everparse\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC4271"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC8446"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405656.3418715"},{"key":"e_1_3_2_1_19_1","unstructured":"Erez Shinan. 2022. Welcome to Lark's documentation! https:\/\/lark-parser.readthedocs.io\/en\/latest\/  Erez Shinan. 2022. Welcome to Lark's documentation! https:\/\/lark-parser.readthedocs.io\/en\/latest\/"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2013.6665203"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010000313106"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034811"},{"key":"e_1_3_2_1_23_1","unstructured":"NDN Project Team. 2021. ndn-cxx: NDN C++ library with eXperimental eXtensions. https:\/\/github.com\/named-data\/ndn-cxx\/  NDN Project Team. 2021. ndn-cxx: NDN C++ library with eXperimental eXtensions. https:\/\/github.com\/named-data\/ndn-cxx\/"},{"key":"e_1_3_2_1_24_1","unstructured":"NDN Project Team. 2021. NDN Packet Format Specification version 0.3. http:\/\/named-data.net\/doc\/NDN-packet-spec\/current\/index.html  NDN Project Team. 2021. NDN Packet Format Specification version 0.3. http:\/\/named-data.net\/doc\/NDN-packet-spec\/current\/index.html"},{"key":"e_1_3_2_1_25_1","unstructured":"NDN Project Team. 2021. NDN Protocol Design Principles. https:\/\/named-data.net\/project\/ndn-design-principles\/  NDN Project Team. 2021. NDN Protocol Design Principles. https:\/\/named-data.net\/project\/ndn-design-principles\/"},{"key":"e_1_3_2_1_26_1","unstructured":"NDN Project Team. 2021. python-ndn documentation. https:\/\/python-ndn.readthedocs.io\/en\/latest\/  NDN Project Team. 2021. python-ndn documentation. https:\/\/python-ndn.readthedocs.io\/en\/latest\/"},{"key":"e_1_3_2_1_27_1","unstructured":"Jeff Thompson. 2021. PyNDN: A Named Data Networking client library with TLV wire format support in native Python. https:\/\/github.com\/named-data\/PyNDN2  Jeff Thompson. 2021. PyNDN: A Named Data Networking client library with TLV wire format support in native Python. https:\/\/github.com\/named-data\/PyNDN2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2017.16"}],"event":{"name":"ICN '22: 9th ACM Conference on Information-Centric Networking","location":"Osaka Japan","acronym":"ICN '22","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 9th ACM Conference on Information-Centric Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517212.3558093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517212.3558093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:30Z","timestamp":1750188690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517212.3558093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":28,"alternative-id":["10.1145\/3517212.3558093","10.1145\/3517212"],"URL":"https:\/\/doi.org\/10.1145\/3517212.3558093","relation":{},"subject":[],"published":{"date-parts":[[2022,9,6]]},"assertion":[{"value":"2022-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}