Skip to content

End-to-end Multilevel Hybrid Information Flow Control.

Lennart Beringer

VenueBAPLAS
Year2012
ProceedingsAPLAS

Browse the full APLAS paper archive.