HAT: HIP Address Translation protocol for Hybrid RFID/IP Internet of Things communication. - Khalifa Toumi; Mouna Ayari; Leïla Azouz Saïdane; Mathieu Bouet; Guy Pujolle (ICWUS, 2010)

A vector based model approach for defining trust in Multi-Organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli; Mazen El Maarabani (CRiSIS, 2012)

Role based interoperability security policies in collaborative systems. - Khalifa Toumi; Ana R. Cavalli; Mazen El Maarabani (CTS, 2012)

Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli (ICISS, 2012)

Security Properties in Virtual Organizations. - Khalifa Toumi; César Andrés; Ana R. Cavalli (HPCC/EUC, 2013)

Trust Ontology Based on Access Control Parameters in Multi-organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli (SITIS, 2013)

ISER: A Platform for Security Interoperability of Multi-source Systems. - Khalifa Toumi; Fabien Autrel; Ana R. Cavalli; Sammy Haddad (CRiSIS, 2014)

A Formal Approach to Automatic Testing of Security Policies Specified in XACML. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (FPS, 2014)

On Modeling and Testing Security Properties of Vehicular Networks. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (ICST Workshops, 2014)

How to Evaluate Trust Using MMT. - Khalifa Toumi; Wissam Mallouli; Edgardo Montes de Oca; César Andrés; Ana R. Cavalli (NSS, 2014)

Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (CoRR, 2014)

Validation of a Trust Approach in Multi-Organization Environments. - Khalifa Toumi; Ana R. Cavalli; César Andrés (Int. J. Secur. Softw. Eng., 2014)

A trust framework for multi-organization environments. (Un système de confiance pour les environnements multi-organisationnels). - Khalifa Toumi (2014)

An Active Testing Tool for Security Testing of Distributed Systems. - Mohamed H. E. Aouadi; Khalifa Toumi; Ana R. Cavalli (ARES, 2015)

Br2Br: A Vector-Based Trust Framework for WebRTC Calling Services. - Ibrahim Tariq Javed; Khalifa Toumi; Noël Crespi; Amir Mohammadinejad (HPCC/SmartCity/DSS, 2016)

Usage Control Policy Enforcement in SDN-Based Clouds: A Dynamic Availability Service Use Case. - Khalifa Toumi; Muhammad Sabir Idrees; Fabien Charmet; Reda Yaich; Gregory Blanc (HPCC/SmartCity/DSS, 2016)

Formal framework for defining trust in multi-organisation environment. - Khalifa Toumi; César Andrés; Ana R. Cavalli (Int. J. Auton. Adapt. Commun. Syst., 2016)

Reputation trust mechanism under the organizational-based access control model. - Khalifa Toumi; Hela Sfar; Joaquín García-Alfaro (Secur. Commun. Networks, 2016)

Adaptive Policy-driven Attack Mitigation in SDN. - Rishikesh Sahay; Gregory Blanc; Zonghua Zhang; Khalifa Toumi; Hervé Debar (XDOMO@EuroSys, 2017)

Preserving confidentiality during the migration of virtual SDN topologies: A formal approach. - Fabien Charmet; Richard Waldinger; Gregory Blanc; Christophe Kiennert; Khalifa Toumi (NCA, 2017)

Link reliable and trust aware RPL routing protocol for Internet of Things. - Asma Lahbib; Khalifa Toumi; Sameh Elleuch; Anis Laouiti; Steven Martin 001 (NCA, 2017)

ProtectCall: Call Protection Based on User Reputation. - Ibrahim Tariq Javed; Khalifa Toumi; Noël Crespi (TrustCom/BigDataSE/ICESS, 2017)

TrustCall: A Trust Computation Model for Web Conversational Services. - Ibrahim Tariq Javed; Khalifa Toumi; Noël Crespi (IEEE Access, 2017)

N-Combat: A Nuisance Call Combating Framework for Internet Telephony. - Ibrahim Tariq Javed; Khalifa Toumi; Noël Crespi (TrustCom/BigDataSE, 2018)

A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. - Khalifa Toumi; Mohamed H. E. Aouadi; Ana R. Cavalli; Wissam Mallouli; Jordi Puiggalí Allepuz; Pol Valletb Montfort (Comput. J., 2018)

DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments. - Asma Lahbib; Khalifa Toumi; Anis Laouiti; Steven Martin 001 (NCA, 2019)

Blockchain based trust management mechanism for IoT. - Asma Lahbib; Khalifa Toumi; Anis Laouiti; Alexandre Laubé; Steven Martin 001 (WCNC, 2019)

An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. - Asma Lahbib; Abderrahim Ait Wakrime; Anis Laouiti; Khalifa Toumi; Steven Martin 001 (AINA, 2020)

The StakeCube blockchain : Instantiation, Evaluation & Applications. - Antoine Durand; Guillaume Hébert; Khalifa Toumi; Gérard Memmi; Emmanuelle Anceaume (BCCA, 2020)

A novel credential protocol for protecting personal attributes in blockchain. - Kalpana Singh; Omar Dib; Clément Huyart; Khalifa Toumi (Comput. Electr. Eng., 2020)

A Trust Framework for Centralized TDMA Scheduling Mechanism in Vehicular Ad hoc Networks. - Mohamed Hadded; Khalifa Toumi; Anis Laouiti; Paul Mühlethaler (Int. J. Interdiscip. Telecommun. Netw., 2020)

A novel data exploitation framework based on blockchain. - Omar Dib; Clément Huyart; Khalifa Toumi (Pervasive Mob. Comput., 2020)

Blockchain based Privacy Aware Distributed Access Management Framework for Industry 4.0. - Asma Lahbib; Khalifa Toumi; Anis Laouiti; Steven Martin 001 (WETICE, 2021)

UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones. - Azza Allouch; Omar Cheikhrouhou; Anis Koubâa; Khalifa Toumi; Mohamed Khalgui; Tuan Nguyen Gia (Sensors, 2021)

A comprehensive survey on blockchain-based C-ITS applications: Classification, challenges, and open issues. - Souad BelMannoubi; Haifa Touati; Mohamed Hadded; Khalifa Toumi; Oyunchimeg Shagdar; Farouk Kamoun (Veh. Commun., 2023)

Blockchain based distributed trust management in IoT and IIoT: a survey. - Asma Lahbib; Khalifa Toumi; Anis Laouiti; Steven Martin 001 (J. Supercomput., 2024)