Khalifa Toumi

36 papers B 7C 3Misc 1Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
Blockchain based distributed trust management in IoT and IIoT: a survey.
J. Supercomput.
Asma Lahbib, Khalifa Toumi, Anis Laouiti, Steven Martin
2023 J jnl
A comprehensive survey on blockchain-based C-ITS applications: Classification, challenges, and open issues.
Veh. Commun.
Souad BelMannoubi, Haifa Touati, Mohamed Hadded, Khalifa Toumi, Oyunchimeg Shagdar, Farouk Kamoun
2021 C conf
Blockchain based Privacy Aware Distributed Access Management Framework for Industry 4.0.
WETICE
Asma Lahbib, Khalifa Toumi, Anis Laouiti, Steven Martin
2021 J jnl
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones.
Sensors
Azza Allouch, Omar Cheikhrouhou, Anis Koubâa, Khalifa Toumi, Mohamed Khalgui, Tuan Nguyen Gia
2020 J jnl
A Trust Framework for Centralized TDMA Scheduling Mechanism in Vehicular Ad hoc Networks.
Int. J. Interdiscip. Telecommun. Netw.
Mohamed Hadded, Khalifa Toumi, Anis Laouiti, Paul Mühlethaler
2020 J jnl
A novel credential protocol for protecting personal attributes in blockchain.
Comput. Electr. Eng.
Kalpana Singh, Omar Dib, Clément Huyart, Khalifa Toumi
2020 J jnl
A novel data exploitation framework based on blockchain.
Pervasive Mob. Comput.
Omar Dib, Clément Huyart, Khalifa Toumi
2020 B conf
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.
AINA
Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin
2020 — conf
The StakeCube blockchain : Instantiation, Evaluation & Applications.
BCCA
Antoine Durand, Guillaume Hébert, Khalifa Toumi, Gérard Memmi, Emmanuelle Anceaume
2019 B conf
Blockchain based trust management mechanism for IoT.
WCNC
Asma Lahbib, Khalifa Toumi, Anis Laouiti, Alexandre Laubé, Steven Martin
2019 B conf
DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments.
NCA
Asma Lahbib, Khalifa Toumi, Anis Laouiti, Steven Martin
2018 J jnl
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System.
Comput. J.
Khalifa Toumi, Mohamed H. E. Aouadi, Ana R. Cavalli, Wissam Mallouli, Jordi Puiggalí Allepuz, Pol Valletb Montfort
2018 — conf
N-Combat: A Nuisance Call Combating Framework for Internet Telephony.
TrustCom/BigDataSE
Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi
2017 — conf
Adaptive Policy-driven Attack Mitigation in SDN.
XDOMO@EuroSys
Rishikesh Sahay, Gregory Blanc, Zonghua Zhang, Khalifa Toumi, Hervé Debar
2017 B conf
Link reliable and trust aware RPL routing protocol for Internet of Things.
NCA
Asma Lahbib, Khalifa Toumi, Sameh Elleuch, Anis Laouiti, Steven Martin
2017 B conf
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.
NCA
Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi
2017 — conf
ProtectCall: Call Protection Based on User Reputation.
TrustCom/BigDataSE/ICESS
Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi
2017 J jnl
TrustCall: A Trust Computation Model for Web Conversational Services.
IEEE Access
Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi
2016 — conf
Br2Br: A Vector-Based Trust Framework for WebRTC Calling Services.
HPCC/SmartCity/DSS
Ibrahim Tariq Javed, Khalifa Toumi, Noël Crespi, Amir Mohammadinejad
2016 J jnl
Formal framework for defining trust in multi-organisation environment.
Int. J. Auton. Adapt. Commun. Syst.
Khalifa Toumi, César Andrés, Ana R. Cavalli
2016 J jnl
Reputation trust mechanism under the organizational-based access control model.
Secur. Commun. Networks
Khalifa Toumi, Hela Sfar, Joaquín García-Alfaro
2016 — conf
Usage Control Policy Enforcement in SDN-Based Clouds: A Dynamic Availability Service Use Case.
HPCC/SmartCity/DSS
Khalifa Toumi, Muhammad Sabir Idrees, Fabien Charmet, Reda Yaich, Gregory Blanc
2015 B conf
An Active Testing Tool for Security Testing of Distributed Systems.
ARES
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014 — conf
A Formal Approach to Automatic Testing of Security Policies Specified in XACML.
FPS
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014 — —
A trust framework for multi-organization environments. (Un système de confiance pour les environnements multi-organisationnels).
Khalifa Toumi
2014 B conf
How to Evaluate Trust Using MMT.
NSS
Khalifa Toumi, Wissam Mallouli, Edgardo Montes de Oca, César Andrés, Ana R. Cavalli
2014 C conf
ISER: A Platform for Security Interoperability of Multi-source Systems.
CRiSIS
Khalifa Toumi, Fabien Autrel, Ana R. Cavalli, Sammy Haddad
2014 — conf
On Modeling and Testing Security Properties of Vehicular Networks.
ICST Workshops
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014 J jnl
Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study.
CoRR
Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli
2014 J jnl
Validation of a Trust Approach in Multi-Organization Environments.
Int. J. Secur. Softw. Eng.
Khalifa Toumi, Ana R. Cavalli, César Andrés
2013 — conf
Security Properties in Virtual Organizations.
HPCC/EUC
Khalifa Toumi, César Andrés, Ana R. Cavalli
2013 — conf
Trust Ontology Based on Access Control Parameters in Multi-organization Environments.
SITIS
Khalifa Toumi, César Andrés, Ana R. Cavalli
2012 C conf
A vector based model approach for defining trust in Multi-Organization Environments.
CRiSIS
Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani
2012 — conf
Role based interoperability security policies in collaborative systems.
CTS
Khalifa Toumi, Ana R. Cavalli, Mazen El Maarabani
2012 Misc conf
Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.
ICISS
Khalifa Toumi, César Andrés, Ana R. Cavalli
2010 — conf
HAT: HIP Address Translation protocol for Hybrid RFID/IP Internet of Things communication.
ICWUS
Khalifa Toumi, Mouna Ayari, Leïla Azouz Saïdane, Mathieu Bouet, Guy Pujolle