200 citations
- Centre National de la Recherche ScientifiqueFR27 papers
- École Nationale Supérieure d'Ingénieurs de CaenFR21 papers
- Université de Caen NormandieFR16 papers
- Centre de Recherche en Mathématiques de la DécisionFR8 papers
- Normandie UniversitéFR8 papers
- CEA Paris-SaclayFR5 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR5 papers
- Institut de Mathématiques de BordeauxFR5 papers
- Direction des EnergiesFR4 papers
- Université de SherbrookeCA4 papers
- DSM (Netherlands)NL3 papers
- Université Paris CitéFR3 papers
4 papers · 1 filter
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…
An IoT Blockchain Architecture Using Oracles and Smart Contracts: the Use-Case of a Food Supply Chain
Hajar Moudoud, Soumaya Cherkaoui, Lyes Khoukhi
The blockchain is a distributed technology which allows establishing trust among unreliable users who interact and perform transactions with each other. While blockchain technology…
Prediction and Detection of FDIA and DDoS Attacks in 5G Enabled IoT
Hajar Moudoud, Lyes Khoukhi, Soumaya Cherkaoui
Security in the fifth generation (5G) networks has become one of the prime concerns in the telecommunication industry. 5G security challenges come from the fact that 5G networks in…
Towards a Scalable and Trustworthy Blockchain: IoT Use Case
Hajar Moudoud, Soumaya Cherkaoui, Lyes Khoukhi
Recently, blockchain has gained momentum as a novel technology that gives rise to a plethora of new decentralized applications (e.g., Internet of Things (IoT)). However, its integr…