%PDF-1.5
%
1 0 obj
<>stream
Adobe PDF Schema
pdf
http://ns.adobe.com/pdf/1.3/
Trapped
Text
internal
Indication if the document has been modified to include trapping information
XMP Media Management Schema
xmpMM
http://ns.adobe.com/xap/1.0/mm/
DocumentID
URI
internal
UUID based identifier for all versions and renditions of a document
InstanceID
URI
internal
UUID based identifier for specific incarnation of a document
VersionID
Text
internal
Document version identifier
RenditionClass
Text
internal
The manner in which a document is rendered
pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/W32TeX) kpathsea version 6.3.2; ConfPub - pldi22main-p360-p rev-c5992c67e9-56981:56982 p31; modified using iText 4.2.0 by 1T3XT
Network formats, Parser generators, Formal proof
1.5
application/pdf
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
- Software and its engineering -> Formal software verification.- Security and privacy -> Virtualization and security.
- Software and its engineering -> Formal software verification.- Security and privacy -> Virtualization and security.
2022-04-29T23:23:51+01:00
en
Text
Nikhil Swamy
Tahina Ramananandro
Aseem Rastogi
Irina Spiridonova
Haobin Ni
Dmitry Malloy
Juan Vazquez
Michael Tang
Omar Cardona
Arti Gupta
Network formats
Parser generators
Formal proof
paper.tex
2022-04-29T23:23:51+01:00
2023-01-03T10:05:59-08:00
2023-01-03T10:05:59-08:00
LaTeX with acmart 2022/04/09 v1.84 Typesetting articles for the Association for Computing Machinery and hyperref 2020-05-15 v7.00e Hypertext links for LaTeX
uuid:88dc4675-f26c-4462-b133-39b620a82b1d
uuid:62005f7f-7a33-43e4-9390-aef200aef2bb
1
default
endstream
endobj
21 0 obj
<>>>/BBox[0 0 612 792]/Length 66>>stream
x3PHW0Pp2@BL
,
,
B
l#sc=#LHBfl\k 7
endstream
endobj
5 0 obj
<>stream
x+ |
endstream
endobj
7 0 obj
<>stream
xS**T0T0 Bi yA$
endstream
endobj
6 0 obj
<>stream
xڽ