%PDF-1.7
%
1 0 obj
<>/Metadata 2 0 R/Outlines 5 0 R/Pages 3 0 R/StructTreeRoot 6 0 R/Type/Catalog/ViewerPreferences<>>>
endobj
2 0 obj
<>stream
application/pdf
Arthur Azevedo de Amorim, Maxime Denes, Nick Giannarakis, Cătălin Hriţcu, Benjamin C. Pierce, Antal Spector-Zabusky, and Andrew Tolmach
Micro-Policies: Formally Verified, Tag-Based Security Monitors
Prince 14.2 (www.princexml.com)
AppendPDF Pro 6.3 Linux 64 bit Aug 30 2019 Library 15.0.4
Appligent AppendPDF Pro 6.3
2023-05-15T15:19:39-07:00
2023-05-15T15:19:39-07:00
2023-05-15T15:19:39-07:00
1
uuid:29482a81-b6ff-11b2-0a00-5016a1010000
uuid:29482a82-b6ff-11b2-0a00-d0c59b3ffe7f
endstream
endobj
5 0 obj
<>
endobj
3 0 obj
<>
endobj
6 0 obj
<>
endobj
28 0 obj
<>
endobj
49 0 obj
<>4]/P 27 0 R/Pg 51 0 R/S/Link>>
endobj
29 0 obj
<>1]/P 13 0 R/Pg 53 0 R/S/Link>>
endobj
14 0 obj
<><>2 3]/P 6 0 R/Pg 53 0 R/S/Link>>
endobj
15 0 obj
<>4]/P 6 0 R/Pg 53 0 R/S/Link>>
endobj
41 0 obj
<>20]/P 19 0 R/Pg 53 0 R/S/Link>>
endobj
43 0 obj
<>24]/P 20 0 R/Pg 53 0 R/S/Link>>
endobj
44 0 obj
<>26]/P 20 0 R/Pg 53 0 R/S/Link>>
endobj
45 0 obj
<>27]/P 21 0 R/Pg 53 0 R/S/Link>>
endobj
47 0 obj
<>34]/P 23 0 R/Pg 53 0 R/S/Link>>
endobj
48 0 obj
<>38]/P 24 0 R/Pg 53 0 R/S/Link>>
endobj
24 0 obj
<>
endobj
53 0 obj
<>/MediaBox[0 0 612 792]/Parent 9 0 R/Resources<>/Font<>/ProcSet[/PDF/Text/ImageC]/XObject<>>>/StructParents 0/Tabs/S/Type/Page>>
endobj
65 0 obj
[52 0 R 55 0 R 56 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R]
endobj
66 0 obj
<>stream
xZێ5}U4W
}[
(<9e{
ه:U7n>{?wazHubh7zcדB/7.O),>u氹VձSFuMT=ܝu˖6[}~ڸ>wfˆ}IȚ3E#G)MߝxP{x"I!+qØ5k旟G7zI^uX[H3M]M:Toѕ(5EgWN@9YQlJ26%?3^a1#Nzܒ:;EyGPz8SUTU.em{;%."\N3Vi</`!z!Q9WQK=F!'ũ&N8lTgіT44SkId hT,0`oSP^`*G7};@Z9#]p.
'iB/l&&$
,0&rڦ'x3lQ0W5 ˜#"361.63,k6୯uؗa#DjJsP>e7^Eb?t7*IY TYG,j>1=0?4O˿'}ޓ=T]uV^đz͋{l{S%әYTXqr:BS@TR59PLSgw_`!ᛂ@I0؉!nSIk66BdZ}VNt]c3ט],Ds2iݝzLW?WWpc?TQY !Hؙbaz$ U[?Y[p68YY 4SIae
\m'N:WhTy3R1J 4:V(F(IwBor{C`T2")VsO7]eNa؆+uؐ1q=>P(\5lC2*QS[B-
Z:&B4Ţi oF5Lͬ<`'U-u?}MͩW5ɠ|b9;HH*߿Xj(ٿm4P:GߎGGW;|Q,=ƵIv&2+ǁ
Y{|M* )Zp\`Sz`x>
$t Cq7܄q=K'#zgqfzL^!?j'%Skʱ6Hc
cŘb:\Rf<嘿JT)ITf,NI0;I25)ħw VT1US}@1iNe_)PU[ƿ!25ҖsoHޟj%sz觞28F]hؔ)
\4Ҽ:VgA=1.T3K{"Y6m9 Xx@={\^Q$|Md`!GN^9(~fFӧm<~r}2?7ܔ֕TmϫQv`Da 3Ln$@+GJx@QsfyEe7s
ƅw92〝Wy4Hfm{4&m03?']z4-Vmpzpo[L i3`Zi"#YA2/BKRtMʥC9%~ 5KOQPZL`76Z6M>ʝJ2!'@
\gNXZH