Formal Analysis of Information Flow in HOL.

Ghassen Helali, Sofine Tahar, Osman Hasan, Tsvetan Dunchev

Browse the full SETTA paper archive.