Skip to Main content Skip to Navigation

hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-02434766v1  Conference papers
Asma LahbibKhalifa ToumiAnis LaouitiSteven Martin. DRMF: a Distributed Resource Management Framework for industry 4.0 environments
NCA 2019: 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, MA, United States. pp.1-9, ⟨10.1109/NCA.2019.8935019⟩
hal-03591078v1  Conference papers
Asma LahbibKhalifa ToumiAnis LaouitiSteven Martin. Blockchain based privacy aware distributed access management framework for industry 4.0
WETICE 2021: IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Oct 2021, Bayonne (online), France. pp.51-56, ⟨10.1109/WETICE53228.2021.00021⟩
hal-02928201v1  Conference papers
Asma LahbibAbderrahim Ait WakrimeAnis LaouitiKhalifa ToumiSteven Martin. An Event-B based approach for formal modelling and verification of smart contracts
AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1303-1318, ⟨10.1007/978-3-030-44041-1_111⟩
hal-03508220v1  Journal articles
Omar DibKhalifa Toumi. Decentralized Identity Systems: Architecture, Challenges, Solutions and Future Directions
Annals of Emerging Technologies in Computing (AETiC), nternational Association of Educators and Researchers (IAER), 2021