Application of blockchain technology in healthcare: a comprehensive study R Ben Fekih, M Lahami The Impact of Digital Technologies on Public Health in Developed and …, 2020 | 142 | 2020 |
Distributed architecture of an Intrusion detection system based on cloud computing and big data techniques R Ben Fekih, F Jemili Proceedings of the 8th International Conference on Sciences of Electronics …, 2020 | 9 | 2020 |
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum RB Fekih, M Lahami, M Jmaiel, AB Ali, P Genestier 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 7 | 2022 |
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT RB Fekih, M Lahami, M Jmaiel, S Bradai 2023 IEEE Symposium on Computers and Communications (ISCC), 556-561, 2023 | 1 | 2023 |
Formal Verification of Smart Contracts Based on Model Checking: An Overview RB Fekih, M Lahami, M Jmaiel, S Bradai 2023 IEEE International Conference on Enabling Technologies: Infrastructure …, 2023 | | 2023 |