Application of Blockchain Technology in Healthcare: A Comprehensive Study. - Rim Ben Fekih; Mariam Lahami (ICOST, 2020)

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Ahmed Ben Ali; Philippe Genestier (COMPSAC, 2022)

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (ISCC, 2023)

Formal Verification of Smart Contracts Based on Model Checking: An Overview. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (WETICE, 2023)

Towards an Automated Verification Approach for ERC-Based Smart Contracts. - Rim Ben Fekih; Mariam Lahami; Mohamed Salem El Eze; Salma Bradai; Mohamed Jmaiel (ICSOC (2), 2024)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. - Rim Ben Fekih; Mariam Lahami; Salma Bradai; Mohamed Jmaiel (IEEE Access, 2025)