%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEE2015 IEEE 28th Computer Security Foundations Symposium;2015; ; ;10.1109/CSF.2015.17Language-based securityinformation-flow control for concurrent systemshybrid information-flow monitorHybrid Monitors for Concurrent NoninterferenceAslan AskarovStephen ChongHeiko Mantel
2015 IEEE 28th Computer Security Foundations Symposium137 July 201510.1109/CSF.2015.17151
endstream
endobj
2 0 obj
<>stream
xS**T0P A# 27P01PHUЏ4WpWr
rL,BҸJ
*MBr4ML4C\C
endstream
endobj
3 0 obj
<>stream
hTKo0
;@4tBZ&nwC!
8f݆؉3įnMpN#4x
$^)P[28M7BQDWN.||-n ~q-ޜ`uL?p43(KhꩶU/As18Z "-M_%)4]Ħ"sx8cɉ-sJ0