An On-the-Fly Approach for the Verification of Opacity in Critical Systems. - Kais Klai; Nawel Hamdi; Nejib Ben Hadj-Alouane (WETICE, 2014)

A Survey on SLA Management Using Blockchain Based Smart Contracts. - Nawel Hamdi; Chiraz El Hog; Raoudha Ben Djemaa; Layth Sliman (ISDA, 2021)