Results 51 to 60 of about 68,965 (224)

APTE: An Algorithm for Proving Trace Equivalence [PDF]

, 2014
This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
B. Blanchet, C.J.F. Cremers, M. Abadi, V. Cheval, V. Cheval, V. Cheval   +5 more
core   +1 more source

Synergistic Pyro‐Phototronics and Structural Anisotropy in CsAg2I3/GaN Heterostructures for High‐Performance Polarization‐Sensitive UV Photodetectors

Advanced Science, Volume 13, Issue 31, 4 June 2026.
The development of polarization‐sensitive ultraviolet photodetectors is limited by poor heterojunction quality and low polarization sensitivity. This study integrates synthesized CsAg2I3 single crystals with intrinsic non‐centrosymmetry into van der Waals heterojunction devices, demonstrating pronounced pyro‐phototronic effect.
Yalin Zhai, Siqi Wang, Peng Guo, Songling Feng, Peng Wan, Jilong Tang, Caixia Kan, Hui Li, Daning Shi, Mingming Jiang   +9 more
wiley   +1 more source

Oblivious Transfer based on Key Exchange

, 2007
Key-exchange protocols have been overlooked as a possible means for implementing oblivious transfer (OT). In this paper we present a protocol for mutual exchange of secrets, 1-out-of-2 OT and coin flipping similar to Diffie-Hellman protocol using the ...
Abhishek Parakh, Blum M., Fiat A., Naor M.   +3 more
core   +1 more source

Temperature‐Resilient Reconfigurable Physical Unclonable Function Driven by Pulse Modulation Using CMOS‐Integrated Spintronic Chips

Advanced Science, EarlyView.
A reconfigurable physical unclonable function is developed using CMOS‐integrated SOT‐MRAM chips, leveraging a dual‐pulse strategy and offering enhanced environmental robustness. A temperature‐compensation effect arising from the CMOS transistor and SOT‐MTJ is revealed and established as a key prerequisite for thermal resilience.
Min Wang, Chuanpeng Jiang, Zhaohao Wang, Zhengyi Hou, Zhongkui Zhang, Yuanfu Zhao, Hong‐xi Liu, Weisheng Zhao   +7 more
wiley   +1 more source

Synaptic κ‐Ga2O3 Photodetectors for Privacy‐Enhancing Neuromorphic Computing

Advanced Science, EarlyView.
We report on a single‐element neuromorphic sensor based on the persistent photoconductivity (PPC) of κ‐phase Ga2O3 capable of sensing ultraviolet light and harnessing intrinsic data privacy. The approach establishes a materials‐enabled pathway toward compact, intelligent, and privacy‐enhancing optoelectronic hardware for next‐generation edge systems ...
Yanqing Jia, Heming Lin, Hongliang Chang, Wenqing Niu, Yue Wang, Hang Lu, Abdullah AlQuwayzani, Yara Banda, Long Chen, Qingxiao Wang, Bambar Davaasuren, Mohamed Ben Hassine, Tien Khee Ng, Boon S. Ooi   +13 more
wiley   +1 more source

A new non-commutative key exchange protocol on combinatorial semigroup

Automatika
Since the launch of the post-quantum cryptography standardization project by NIST, post-quantum cryptography has become a prominent research area. Non-commutative cryptography constructed using NP-complete problems is widely regarded resistant to quantum
Jing Zhang, Ya-Juan Yang, JingJing Bao
doaj   +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

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

Dielectric‐Confinement‐Induced in‐Plane Photoelectric Anisotropy in Isotropic Quasi‐1D γ‐GaS Nanoribbon

Advanced Science, EarlyView.
We investigate the geometry‐governed optoelectronic anisotropy arising from dielectric confinement in quasi‐1D γ‐GaS nanoribbons with intrinsically isotropic atomic structures. Dielectric mismatch between the nanoribbon and its surroundings leads to a general polarization‐dependent photoresponse during near‐field scattering.
Jiawei Jing, Jiamei Chen, Xing Xin, Peisong Peng, Zhihao Wu, Weiheng Zhong, Hanyu Zhang, Wanfu Shen, Jihua Zhang, Yuwei Shan, Yuanzheng Li, Xingang Zhao, Wei Xin, Fang Wang, Weida Hu, Haiyang Xu, Yichun Liu   +16 more
wiley   +1 more source

An Improved Key Agreement Protocol Based on Fractal Theory [PDF]

Engineering and Technology Journal, 2014
A key agreement protocol is a key establishment technique which enables two or more communicating parities to agree on a key or exchange information over an open communication channel.
Nadia M. G. Al-Saidi
doaj   +1 more source