An Information Flow Verifier for Small Embedded Systems.

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl

Browse the full WISTP paper archive.