Embedding verifiable information flow analysis.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl

Browse the full PST paper archive.