%PDF-1.4
%
1 0 obj <>stream
application/pdfIEEE2013 IEEE Symposium on Security and Privacy;2013; ; ;10.1109/SP.2013.35information flow controlformal verificationseL4: From General Purpose to a Proof of Information Flow EnforcementToby MurrayDaniel MatichukMatthew BrassilPeter GammieTimothy BourkeSean SeefriedCorey LewisXin GaoGerwin Klein
2013 IEEE Symposium on Security and Privacy415 May 201310.1109/SP.2013.35429
endstream
endobj
2 0 obj <>stream
application/pdf2013 IEEE Symposium on Security and Privacy;2013; ; ;10.1109/SP.2013.35seL4: From General Purpose to a Proof of Information Flow Enforcement
iTextSharp 4.0.7 (based on iText 2.0.7); modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
2013-04-05T20:56:43.000Z2018-12-01T19:59:02.000Z
endstream
endobj
3 0 obj <>stream
h\[L[uOqĥs9LefÞFƂL ήHKAtq
\z-A˵-PKcA6A2K\='Mb|M~%O@AUm/5|+}//qx?2^sV +O@H@P#>۪LÃڳW<$*r|"mH;҉\@^C&(,BE⏗wVաH>~s9N\ʡ"Q-d481t1fz+c13Fdlnvfax^C|h9]zgs3eѝtw䶴->8ӢJ@8q,IE