Formal methods for the verification of smart contracts: A review

M Krichen, M Lahami… - 2022 15th International …, 2022 - ieeexplore.ieee.org
Smart contracts are digital contracts that rely on Blockchain technology to make their terms
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …

[HTML][HTML] A survey on formal verification and validation techniques for internet of things

M Krichen - Applied Sciences, 2023 - mdpi.com
The Internet of Things (IoT) has brought about a new era of connected devices and systems,
with applications ranging from healthcare to transportation. However, the reliability and …

Convolutional neural networks: A survey

M Krichen - Computers, 2023 - mdpi.com
Artificial intelligence (AI) has become a cornerstone of modern technology, revolutionizing
industries from healthcare to finance. Convolutional neural networks (CNNs) are a subset of …

Research on the natural language recognition method based on cluster analysis using neural network

G Li, F Liu, A Sharma, OI Khalaf… - Mathematical …, 2021 - Wiley Online Library
Withthe technological advent, the clustering phenomenon is recently being used in various
domains and in natural language recognition. This article contributes to the clustering …

Accurate magnetic resonance image super-resolution using deep networks and Gaussian filtering in the stationary wavelet domain

G Suryanarayana, K Chandran, OI Khalaf… - IEEE …, 2021 - ieeexplore.ieee.org
In this correspondence, we present an accurate Magnetic Resonance (MR) image Super-
Resolution (SR) method that uses a Very Deep Residual network (VDR-net) in the training …

Generative adversarial networks

M Krichen - 2023 14th International Conference on Computing …, 2023 - ieeexplore.ieee.org
Generative Adversarial Networks (GANs) are a type of deep learning techniques that have
shown remarkable success in generating realistic images, videos, and other types of data …

[Retracted] Wearable Wireless Body Area Networks for Medical Applications

CA Tavera, JH Ortiz, OI Khalaf… - … Methods in Medicine, 2021 - Wiley Online Library
In recent times, there has been a significant growth in networks known as the wireless body
area networks (WBANs). A WBAN connects distributed nodes throughout the human body …

Secured and privacy-based IDS for healthcare systems on E-medical data using machine learning approach

S Sengan, OI Khalaf, DK Sharma… - International Journal of …, 2022 - igi-global.com
Existing methods use static path identifiers, making it easy for attackers to conduct DDoS
flooding attacks. Create a system using Dynamic Secure aware Routing by Machine …

[PDF][PDF] Optimal Artificial Intelligence Based Automated Skin Lesion Detection and Classification Model.

KA Ogudo, R Surendran, OI Khalaf - Computer Systems Science & …, 2023 - academia.edu
Skin lesions have become a critical illness worldwide, and the earlier identification of skin
lesions using dermoscopic images can raise the survival rate. Classification of the skin …

[HTML][HTML] Formal methods and validation techniques for ensuring automotive systems security

M Krichen - Information, 2023 - mdpi.com
The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …