Results 41 to 50 of about 68,965 (224)

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

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Cryptographic security of quantum key distribution [PDF]

, 2014
This work is intended as an introduction to cryptographic security and a motivation for the widely used Quantum Key Distribution (QKD) security definition.
Portmann, Christopher, Renner, Renato
core  

Staging quantum cryptography with chocolate balls

, 2005
Moderated by a director, laymen and students are encouraged to assume the role of quanta and enact a quantum cryptographic protocol. The performance is based on a generalized urn model capable of reproducing complementarity even for classical chocolate ...
Svozil, Karl
core   +1 more source

Formally based semi-automatic implementation of an open security protocol [PDF]

, 2012
International audienceThis paper presents an experiment in which an implementation of the client side of the SSH Transport Layer Protocol (SSH-TLP) was semi-automatically derived according to a model-driven development paradigm that leverages formal ...
Alfredo Pironti, Barthe, Basin, Bengtson, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Bhargavan, Blanchet, Blanchet, Blanchet, Blanchet, Davide Pozza, Dolev, Durante, Escobar, Grandy, Hubbers, Jeon, Jürjens, Jürjens, Kiyomoto, Lowe, Lowe, Marché, McDermott, Moebius, Mödersheim, O’Shea, Pironti, Pironti, Pironti, Pozza, Riccardo Sisto, Song, Tobler   +37 more
core   +3 more sources

Deep Learning Inverse Design of Phase‐Change Reconfigurable Terahertz Metadevices for Multidimensional Secure Communication

Advanced Materials, EarlyView.
A deep learning inverse‐design framework is established to create versatile reconfigurable terahertz metadevices. By synergizing deep learning with phase‐change materials, this approach enables on‐demand customization of multidimensional electromagnetic responses.
Yisheng Dong, Xieyu Chen, Aarthy Nagarajan, Yi Yang, Zhihao Wang, Rui Yu, Chuang Zheng, Chunmei Ouyang, Xueqian Zhang, Tun Cao, Ranjan Singh, Zhen Tian   +11 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

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

Quantum channel based on correlated twin laser beams

, 2004
This work is the development and analysis of the recently proposed quantum cryptographic protocol, based on the use of the two-mode coherently correlated states. The protocol is supplied with the cyrptographic control procedures.
Usenko, Constantin V., Usenko, Vladyslav C.   +1 more
core   +1 more source

Study of Free‐Space Optical Quantum Network: Review and Prospectives

Advanced Science, EarlyView.
Free from the constraints of fiber connections, free‐space quantum network enables longer and more flexible quantum network connections. This review summarizes and comparatively analyzes free‐space quantum network experiments based on ground stations, satellites, and mobile platforms.
Hua‐Ying Liu, Zhenda Xie, Shining Zhu
wiley   +1 more source