Results 71 to 80 of about 5,776 (207)
Privacy-Preserving Set Intersection Protocol Based on SM2 Oblivious Transfer
ComputersPrivate Set Intersection (PSI) is a fundamental cryptographic primitive in privacy-preserving computation and has been widely applied in federated learning, secure data sharing, and privacy-aware data analytics.
Zhibo Guan +7 more
doaj +1 more source
A Calculus for Cryptographic Protocols: The Spi Calculus
Information and Computation, 1997 We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic ...
Martín Abadi, Andrew D. Gordon 0001
openaire +2 more sources
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
Model checking of trusted cryptographic module
Tongxin xuebao, 2010 The formal security analysis was given for the trusted cryptographic module according to the specification of the trusted cryptographic module using model checking tools. The flaws in the AP protocol were pointed and the solution was given.
CHEN Xiao-feng, FENG Deng-guo
doaj +2 more sources
A secure mutual authentication procedure, generate the key fiscal basis, and fiscal data protection
Безопасность информационных технологий, 2018 The paper describes cryptographic transformation for mutual authentication and creation of the fiscal sign key. This transformation based on using block encryption cipher named «Kuznetchik», described in the national standard of the Russian Federation ...
Igor Y. Zhukov, Oleg N. Murashov
doaj +1 more source
Small, EarlyView.Supramolecular helicity meets ferroelectricity: P3HT‐b‐PMMA helical nanowires enable handedness‐specific modulation of remanent polarization in P(VDF‐TrFE) hybrids. This platform demonstrates the first CPL‐addressable ferroelectric PUF, translating molecular chirality into secure digital authentication.
Jung‐Min Ji +7 more
wiley +1 more source
On the cryptographic properties of “Limonnik-3” AKE scheme
Безопасность информационных технологий, 2019 We study the “Limonnik-3” authenticated key exchange protocol which is a part of Standardization recommendations R 1323565.1.004-2017 “Authenticated key agreement schemes based on public keys”, officially adopted in Russia in 2017, alongside with the ...
Sergey V. Grebnev
doaj +1 more source
Trusted Multiplexing of Cryptographic Protocols [PDF]
, 2010 We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this analysis on common protocol formulations. We discuss the gap between the merely possible and the pragmatic through an optimization that informs a multiplexer.
Jay A. McCarthy, Shriram Krishnamurthi
openaire +1 more source
Small, EarlyView.Scaling nanofluidic channel geometries to sub‐200 nm is demonstrated to suppress junction guiding errors in network‐based biocomputing. The resulting increase in path fidelity enables experimental solution of Exact Cover instances with more than 33 million possible solutions, establishing a new benchmark for network‐based biocomputing. ABSTRACT Network‐
Eugene Christo V R +8 more
wiley +1 more source
Authentication and common key generation cryptographic protocol for vehicle tachographs
Безопасность информационных технологий, 2017 We present a public key generation protocol. The key is used for subscriber authentication in tachographs installed on vehicles in order to provide traffic safety. The protocol is based on the well-known Russian cryptographic algorithms.
Victor S. Gorbatov +2 more
doaj +1 more source