Results 81 to 90 of about 684,168 (248)

The Practice of Cryptographic Protocol Verification

Electronic Notes in Theoretical Computer Science, 2003
We analyze the complexity of verifying security protocols for finite ...
openaire   +2 more sources

A Fully‐Connected Chip‐Integrated Reconfigurable Mode‐Pairing Quantum Key Distribution Network

Laser &Photonics Reviews, EarlyView.
This work constructs a fully connected reconfigurable chip‐integrated quantum key distribution network via the mode‐pairing protocol. Hybrid ECL and WSS chips cut wavelength and port overhead, realizing arbitrary‐user key sharing with merely two wavelengths.
Xiao‐Lei Jiang, Wei Gao, Yan‐Yang Zhou, Yu Zhou, Yu‐Yao Guo, Yi‐Fei Lu, Yuan‐Chao Yu, Yang Wang, Jia‐Ji Li, Chun Zhou, Hong‐Wei Li, Liang‐Jun Lu, Lin‐Jie Zhou, Jian‐Ping Chen, Wan‐Su Bao   +14 more
wiley   +1 more source

Cryptographic Protocols

, 2021
Influencés par la pléthore de concepts qu'un cryptographe doit gérer, nous abordons dans cet ouvrage différents domaines de la cryptographie et nous prenons soit le rôle du concepteur, soit celui de l'attaquant. En présentant les deux côtés de la même pièce, nous souhaitons que le lecteur commence à apprécier la beauté de cette science déroutante et qu'
openaire   +3 more sources

Bio‐Derived Nanophotonic Hybrids Enabling Reconfigurable Upconversion for Multilevel Optical Encryption

Laser &Photonics Reviews, EarlyView.
A dual‐gated nanophotonic platform integrates lanthanide‐doped upconversion nanoparticles with a stimuli‐responsive silk–zirconia photonic crystal to enable multilevel optical encryption. Resonant photonic coupling allows hydration‐dependent modulation of visible emission under near‐infrared excitation, achieving reversible switching between decoy and ...
Taehoon Kim, Seohan Yun, Fiorenzo G. Omenetto, Junyong Park   +3 more
wiley   +1 more source

The Application of Telemedicine in Surgery

Med Research, EarlyView.
This figure provides an overview of the content presented in this article. Telemedicine is integrated throughout the entire surgical workflow, with distinct applications across the preoperative, intraoperative, and postoperative phases. These applications are enabled by a suite of supporting technologies, while the associated implementation challenges ...
Yufan Yang, Chang Liu, Xue Sun, Yiting Wang, Minghui Zhao, Shuya Jiang, Haoling Zhang, Wangzheqi Zhang, Wenwen Shi   +8 more
wiley   +1 more source

Practical considerations for pathologists when selecting digital pathology systems: an ESDIP guide

The Journal of Pathology, EarlyView.
Abstract The implementation of digital pathology (DP) has been reported across academic, public, and private laboratory settings, providing valuable insights into workflow transformation. However, comparatively little guidance exists on how DP systems should be evaluated prior to acquisition and deployment.
Diana Montezuma, Vincenzo L'Imperio, David Ameisen, Rita Carvalho, Peter Boor, Sara P Oliveira, Nadieh Khalili, Inti Zlobec, Norman Zerbe, Jordi Temprana‐Salvador   +9 more
wiley   +1 more source

Toward Encrypted OPF Across Transmission and Distribution—Prospects and Open Problems of Encrypted Quadratic Programming

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT The increasing integration of distributed energy resources demands enhanced coordination between transmission system operators (TSOs) and distribution system operators (DSOs) to maintain reliable grid operation. Traditional approaches rely on hierarchical or distributed optimization schemes for power flow management, but these methods either ...
Janis Adamek, Philipp Binfet, Maísa Beraldo Bandeira, Timm Faulwasser, Moritz Schulze Darup   +4 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

Privacy‐Preserving Data‐Driven Distributed MPC for Heterogeneous Nonlinear Multi‐Agent Systems

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT Distributed model predictive control (DMPC) is a cornerstone for coordinating multi‐agent systems, yet simultaneously ensuring data privacy, handling unknown nonlinear dynamics, and managing heterogeneous constraints remains an open challenge.
Mahmood Mazare, Hossein Ramezani
wiley   +1 more source

Security ceremonies : including humans in cryptographic protocols [PDF]

, 2013
Whether by using electronic banking, by using credit cards, or by synchronising a mobile telephone via Bluetooth to an in-car system, humans are a critical part in many cryptographic protocols daily. We reduced the gap that exists between the theory and
Radke, Kenneth J.
core