Formal verification of the heavy hitter problem. - Ghassen Helali; Sofiène Tahar; Osman Hasan (CCECE, 2012)

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. - Ghassen Helali; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Formal Analysis of Information Flow in HOL. - Ghassen Helali; Sofiène Tahar; Osman Hasan; Tsvetan Dunchev (SETTA, 2017)