Skip to content

Compiling Information-Flow Security to Minimal Trusted Computing Bases.

Cdric Fournet, Jrmy Planul

VenueAESOP
Year2011
ProceedingsESOP

Browse the full ESOP paper archive.