Results 31 to 40 of about 5,463 (216)

Formal verification for a PMQTT protocol

Egyptian Informatics Journal, 2020
The future of Internet of Things (IoT) foresees a world of interconnected people with every physical object in a seamless manner. The security related aspects for the IoT world are still an open field of discussion and research.
Eman Elemam, Ayman M. Bahaa-Eldin, Nabil H. Shaker, Mohamed Sobh   +3 more
doaj   +1 more source

Physical Unclonable Function (PUF)-Based e-Cash Transaction Protocol (PUF-Cash)

Cryptography, 2019
Electronic money (e-money or e-Cash) is the digital representation of physical banknotes augmented by added use cases of online and remote payments. This paper presents a novel, anonymous e-money transaction protocol, built based on physical unclonable ...
Jeff Calhoun, Cyrus Minwalla, Charles Helmich, Fareena Saqib, Wenjie Che, Jim Plusquellic   +5 more
doaj   +1 more source

Femtosecond‐Laser‐Induced Physical Unclonable Random Maze Structure for Storage‐Free Encryption

Advanced Science, EarlyView.
Femtosecond‐laser‐induced gold random maze structures serve as multimodal physical unclonable functions for storage‐free encryption. Their stochastic optical, electrical, and Raman responses are generated by plasmon‐assisted Marangoni formation and converted into AES‐compatible keys without permanent secret‐key storage, offering a portable route toward
Shiru Jiang, Hongliang Li, Shengjie Ma, Sang‐Shin Lee, Lei Wang, Mengyun Hu, Heping Zeng   +6 more
wiley   +1 more source

Time Resolved DNA Barcodes for Information Encoding and Dynamic Encryption

Advanced Science, EarlyView.
This study establishes a molecular information platform based on DNA Temporal Barcodes. Information is encoded through combinations of DNA tags with distinct retention times, while dynamic encryption is achieved through a key‐triggered DNA ligation.
Likang Chu, Haixia Wang, Haiyan Gao, Sixian Chen, Zilong Li, Zhanyihao Hao, Lei He, Da Han   +7 more
wiley   +1 more source

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif

IEEE Access
The formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa   +3 more
doaj   +1 more source

Hierarchical Physical‐Cyber Encryption via Metasurface‐Encoded Holographic Keys

Advanced Science, EarlyView.
ABSTRACT Physical‐layer encryption based on metasurfaces has emerged as a promising alternative to conventional algorithmic cryptography by embedding security into physical processes. However, most existing metasurface‐based encryption schemes operate within single‐stage or static frameworks, where correct physical illumination directly reveals the ...
Zhen Liu, Changhong Dai, Wei Zhu, Ruisheng Yang, Bohan Zhang, Lei Zhang, Bobo Du, Shengxiang Wang, Guangwei Hu   +8 more
wiley   +1 more source

Integration of Reconfigurable p‐Bit and 1R Crossbar Array for Memristive Probabilistic Computing

Advanced Science, EarlyView.
A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Keunho Soh, Ji Eun Kim, Suk Yeop Chun, Su In Hwang, Byung Seok Kim, Young Jae Lee, Ho Won Jang, Jung Ho Yoon   +7 more
wiley   +1 more source

Persistent asymmetric password-based key exchange

Journal of Mathematical Cryptology, 2014
Asymmetric password based key exchange is a key exchange protocol where a client and a server share a low entropic password while the server additionally owns a high entropic secret with respect to a public key. There are simple solutions for this, e.g.,
Jiang Shaoquan
doaj   +1 more source

Voltage‐Reconfigurable Magneto‐Ionic Nanolayers in Dot Arrays for Probabilistic, Materials‐Engineered Security Primitives

Advanced Science, EarlyView.
A magneto‐ionic security‐by‐materials‐design strategy exploits voltage‐driven N3– migration in selectively contacted FeCoN dots, creating reconfigurable sub‐15 nm ferromagnetic sublayers with deterministic and/or probabilistic (single‐domain↔vortex) states, voltage‐tunable probabilities and fully stochastic orientation/chirality.
Irena Spasojevic, Federica Celegato, Alessandro Magni, Paola Tiberto, Jordi Sort   +4 more
wiley   +1 more source

Enabling Quantum‐Compatible Nonvolatile Memory: Cryogenic Evaluation of 1T1R HfO2‐Based RRAM From 300 to 1.5 K

Advanced Electronic Materials, EarlyView.
Resistive memory devices are explored for operation at extremely low temperatures relevant to quantum computing. The study reveals how transistor behavior strongly influences memory performance under cryogenic conditions and introduces an optimized programming strategy.
Emilio Pérez‐Bosch Quesada, Alberto Mistroni, Ruolan Jia, Keerthi Dorai Swamy Reddy, Markus Fritscher, Felix Reichmann, Oliver Skibitzki, Juan Bautista Roldán, Helena Castán, Salvador Dueñas, Christian Wenger, Eduardo Pérez   +11 more
wiley   +1 more source