Results 101 to 110 of about 1,929,820 (318)

Data privacy model using blockchain reinforcement federated learning approach for scalable internet of medical things

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract Internet of Medical Things (IoMT) has typical advancements in the healthcare sector with rapid potential proof for decentralised communication systems that have been applied for collecting and monitoring COVID‐19 patient data. Machine Learning algorithms typically use the risk score of each patient based on risk factors, which could help ...
Chandramohan Dhasaratha, Mohammad Kamrul Hasan, Shayla Islam, Shailesh Khapre, Salwani Abdullah, Taher M. Ghazal, Ahmed Ibrahim Alzahrani, Nasser Alalwan, Nguyen Vo, Md Akhtaruzzaman   +9 more
wiley   +1 more source

Automated Cryptographic Analysis of the Pedersen Commitment Scheme

, 2017
Aiming for strong security assurance, recently there has been an increasing interest in formal verification of cryptographic constructions. This paper presents a mechanised formal verification of the popular Pedersen commitment protocol, proving its ...
Dong, Changyu, Metere, Roberto
core   +1 more source

A secured cloud‐medical data sharing with A‐BRSA and Salp ‐Ant Lion Optimisation Algorithm

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract Sharing medical data among healthcare providers, researchers, and patients is crucial for efficient healthcare services. Cloud‐assisted smart healthcare (s‐healthcare) systems have made it easier to store EHRs effectively. However, the traditional encryption algorithms used to secure this data can be vulnerable to attacks if the encryption key
Adel Binbusayyis, Abed Alanazi, Shtwai Alsubai, Areej Alasiry, Mehrez Marzougui, Abdullah Alqahtani, Mohemmed Sha, Muhammad Aslam   +7 more
wiley   +1 more source

Enabling pandemic‐resilient healthcare: Narrowband Internet of Things and edge intelligence for real‐time monitoring

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract The Internet of Things (IoT) in deploying robotic sprayers for pandemic‐associated disinfection and monitoring has garnered significant attention in recent research. The authors introduce a novel architectural framework designed to interconnect smart monitoring robotic devices within healthcare facilities using narrowband Internet of Things ...
Md Motaharul Islam, Mohammad Kamrul Hasan, Shayla Islam, Mohammed Balfaqih, Ahmed Ibrahim Alzahrani, Nasser Alalwan, Nurhizam Safie, Zaheed Ahmed Bhuiyan, Rahul Thakkar, Taher M. Ghazal   +9 more
wiley   +1 more source

LSPA-SGs: A lightweight and secure protocol for authentication and key agreement based Elliptic Curve Cryptography in smart grids

, 2022
Susan A. Mohammed Taqi, Saeed Jalili
openalex   +1 more source

Distributed Cryptographic Protocols

, 2023
[ES] La confianza es la base de las sociedades modernas. Sin embargo, las relaciones basadas en confianza son difíciles de establecer y pueden ser explotadas fácilmente con resultados devastadores. En esta tesis exploramos el uso de protocolos criptográficos distribuidos para construir sistemas confiables donde la confianza se vea reemplazada por ...
openaire   +2 more sources

Simulatable security for quantum protocols

, 2004
The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol embedded in a ...
Unruh, Dominique
core  

On Some Cryptographic Protocol

Schedae Informaticae, 2021
In this paper we present a cryptographic protocol for a seller - buyer problem and in particular we prove that non-emptiness of a semi-commutative set defined by mappings involved in the protocol is a decidable problem.
openaire   +2 more sources

Forensic analysis and evaluation of file‐wiping applications in Android OS

Journal of Forensic Sciences, EarlyView.
Abstract Anti‐forensics refers to techniques designed to obstruct the discovery of evidence in digital forensic investigations. File‐wiping is one of the anti‐forensic techniques that make data recovery impossible by overwriting data with specific patterns. This technique poses significant challenges to investigators.
Dong Bin Oh, Somi Lim, Suji Lee, Yesong Jo, Gahyun Choi, Bumyun Kim, Huy Kang Kim   +6 more
wiley   +1 more source

On formal verification of arithmetic-based cryptographic primitives

, 2009
Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems.
A.C. Yao, B. Blanchet, B. Blanchet, D. Nowak, D.E. Knuth, G. Gonthier, L. Blum, N. Ramsey, P. Lafourcade, R. Affeldt, S. Goldwasser, U.V. Vazirani   +11 more
core   +1 more source