Rim Ben Fekih

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

Collaborative distances:

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

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