Providing Automated Verification in HOL Using MDGs. - Tarek Mhamdi; Sofiène Tahar (ATVA, 2004)

On the Formalization of the Lebesgue Integration Theory in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2010)

Formalization of Entropy Measures in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2011)

Quantitative Analysis of Information Flow Using Theorem Proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ICFEM, 2012)

Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ACM Trans. Embed. Comput. Syst., 2013)

Evaluation of anonymity and confidentiality protocols using theorem proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2015)