Formally verifying information flow type systems for concurrent and thread systems.

Gilles Barthe, Leonor Prensa Nieto

Browse the full CCS paper archive.