Hybrid Information Flow Control for Low-Level Code.

Eduardo Geraldo, Jos Fragoso Santos, Joo Costa Seco

Browse the full SEFM paper archive.