Tarek Mhamdi

According to our database, Tarek Mhamdi authored at least 6 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Evaluation of anonymity and confidentiality protocols using theorem proving.

Tarek Mhamdi, Osman Hasan, Sofiène Tahar

Formal Methods Syst. Des., 2015

2013

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

2012

Quantitative Analysis of Information Flow Using Theorem Proving.

Tarek Mhamdi, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Formalization of Entropy Measures in HOL.

Tarek Mhamdi, Osman Hasan, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

On the Formalization of the Lebesgue Integration Theory in HOL.

Tarek Mhamdi, Osman Hasan, Sofiène Tahar

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2004

Providing Automated Verification in HOL Using MDGs.

Tarek Mhamdi, Sofiène Tahar

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004