Cryptographically sound implementations for typed information-flow security.

Cdric Fournet, Tamara Rezk

Browse the full POPL paper archive.