| 2024 | CRiSIS | Investing in Renewable Energy: Securing Solar Panels Marketplace by NFT. | Moez Hachicha, Salma Bradai |
| 2024 | ICSOC | Towards an Automated Verification Approach for ERC-Based Smart Contracts. | Rim Ben Fekih, Mariam Lahami, Mohamed Salem El Eze, Salma Bradai, Mohamed Jmaiel |
| 2023 | CRiSIS | Blockchain-Based Exchange Place: Genericity vs Performance. | Salma Bradai, Amal Gassara, Khaled Taouil, Badii Louati |
| 2023 | ISCC | Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2023 | WETICE | Formal Verification of Smart Contracts Based on Model Checking: An Overview. | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
| 2017 | SERA | Efficient composite event detection based on DHT protocol. | Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel |
| 2017 | SERA | Composite Event Handling over a Distributed Event-Based System. | Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel |
| 2016 | AICCSA | Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |
| 2016 | SOFTCOM | Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |
| 2014 | ISNCC | Regularity of movement based approach for M2M services discovery. | Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel |