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 …
with applications ranging from healthcare to transportation. However, the reliability and …
Enhancing Internet of Medical Things security with artificial intelligence: A comprehensive review
S Messinis, N Temenos, NE Protonotarios… - Computers in Biology …, 2024 - Elsevier
Over the past five years, interest in the literature regarding the security of the Internet of
Medical Things (IoMT) has increased. Due to the enhanced interconnectedness of IoMT …
Medical Things (IoMT) has increased. Due to the enhanced interconnectedness of IoMT …
A Survey of Cryptographic Algorithms in Cybersecurity: From Classical Methods to Quantum-Resistant Solutions
SN Tambe-Jagtap - SHIFRA, 2023 - peninsula-press.ae
As quantum computing technology evolves, it poses greater risks to current cryptography
schemes such as RSA and Elliptic Curve Cryptography (ECC), widely used to secure digital …
schemes such as RSA and Elliptic Curve Cryptography (ECC), widely used to secure digital …
MoRCiTO: hacia un modelo de referencia de ciberseguridad para la tecnología de la operación como preparación para la era cuántica, a fin de prevenir ataques de …
S Amador-Donado, CJ Pardo-Calvache… - Revista …, 2024 - revistas.udistrital.edu.co
En esta publicación se propone un modelo de referencia de ciberseguridad para la
tecnología de la operación (MoRCiTO) como preparación para la era cuántica para prevenir …
tecnología de la operación (MoRCiTO) como preparación para la era cuántica para prevenir …
Enhancing Computer Security through Formal Verification of Cryptographic Protocols Using Model Checking and Partial Order Techniques
M Saeed, M Ibrar, D Mahmood, A Delshadi - The Asian Bulletin of Big …, 2024 - abbdm.com
This study explores the integration of partial, order reduction techniques with model
checking to enhance the verification of cryptographic protocols. Cryptographic, protocols are …
checking to enhance the verification of cryptographic protocols. Cryptographic, protocols are …
Vérification et validation formelles pour l'Internet des objets
M Krichen - 2024 - hal.science
Résumé L'Internet des objets (IdO) a ouvert une nouvelle ère de dispositifs et de systèmes
connectés, avec des applications allant des soins de santé au transport. Cependant, la …
connectés, avec des applications allant des soins de santé au transport. Cependant, la …
[PDF][PDF] The potential of quantum cryptography in enhancing cybersecurity measures and mitigating cyber threats in IT infrastructure
W Arif - researchgate.net
This research paper aims to understand how quantum cryptography can improve ICT
security and protect against cyber risks. With the help of the introduced CIC IDS 2017 …
security and protect against cyber risks. With the help of the introduced CIC IDS 2017 …