Rim Ben Fekih

According to our database, Rim Ben Fekih authored at least 6 papers between 2020 and 2025.

Collaborative distances:

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

2025

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review.

Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

IEEE Access, 2025

2024

Towards an Automated Verification Approach for ERC-Based Smart Contracts.

Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

2023

Formal Verification of Smart Contracts Based on Model Checking: An Overview.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

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

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2020

Application of Blockchain Technology in Healthcare: A Comprehensive Study.

Rim Ben Fekih, Mariam Lahami

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020