Results 81 to 90 of about 2,146,136 (293)

Verifying Privacy-Type Properties in a Modular Way [PDF]

, 2012
Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, M.; id_orcid, Arapinis, Myrto, Stephanie Delaune, Myrto Arapinis, Cheval, V., Cheval, Vincent, Delaune, Stéphanie, Vincent Cheval, Delaune, S.   +8 more
core   +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

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

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols

IEEE Access, 2019
Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song, Meihua Xiao, Ke Yang, Xizhong Wang, Xiaomei Zhong   +4 more
doaj   +1 more source

Structure and Spectroscopic Characterisation of Phenanthroline‐Based Iodobismuthate(III) Complexes Utilised for Raw Acoustic Signal Classification

Advanced Intelligent Discovery, EarlyView.
Memristors based on trimethylsulfonium (phenanthroline)tetraiodobismuthate have been utilised as a nonlinear node in a delayed feedback reservoir. This system allowed an efficient classification of acoustic signals, namely differentiation of vocalisation of the brushtail possum (Trichosurus vulpecula).
Ewelina Cechosz, Gisya Abdi, Andrzej Sławek, Marlena Gryl, Konrad Szaciłowski   +4 more
wiley   +1 more source

A logical language for specifying cryptographic protocol requirements

Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993
A formal language is presented for specifying and reasoning about cryptographic protocol requirements. Examples of simple sets of requirements in that language are given.
P. Syverson, C. Meadows
semanticscholar   +1 more source

cryptographic Primitives: Insertions, Examples and Open Problems

Безопасность информационных технологий, 2014
Cryptographic primitives are considered. Each of cryptographic primitives can be the basis for building more complex cryptographic protocol. Examples of insertion of cryptographic primitives are given. The problems arising at the proof of security of the
Stanislav Olegovich Dordzhiev, Oleg Viktorovich Kazarin   +1 more
doaj  

SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications

Advanced Intelligent Systems, EarlyView.
To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
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

Field‐Programable Dynamics in a Soft Magnetic Actuator Enabling True Random Number Generation and Reservoir Computing

Advanced Intelligent Systems, EarlyView.
Complex dynamics, often avoided in electromechanical design, can enhance soft robotics. We develop durable magnetic soft actuators operating in tunable dynamic regimes, enabling random number generation, stochastic computing, and time‐series prediction.
Eduardo Sergio Oliveros‐Mata, Oleksandr V. Pylypovskyi, Eleonora Raimondo, Rico Illing, Yevhen Zabila, Lin Guo, Guannan Mu, Mónica Navarro López, Xu Wang, Georgios Tzortzinis, Angelos Filippatos, Gilbert Santiago Cañón Bermúdez, Francesca Garescì, Giovanni Finocchio, Denys Makarov   +14 more
wiley   +1 more source