Results 71 to 80 of about 66,776 (234)

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

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

Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols

IACR Transactions on Symmetric Cryptology, 2020
While traditional symmetric algorithms like AES and SHA-3 are optimized for efficient hardware and software implementations, a range of emerging applications using advanced cryptographic protocols such as multi-party computation and zero knowledge proofs
Abdelrahaman Aly, Tomer Ashur, Eli Ben-Sasson, Alan Szepieniec   +3 more
doaj   +1 more source

Comment on ‘ElGamal cryptosystem‐based secure authentication system for cloud‐based IoT applications’

IET Networks, 2021
This comment is presented to identify the drawbacks in a recently demonstrated scheme by Maitra et al., SAS‐Cloud: doi:10.1049/iet-net.2019.0004, which adopted an ElGamal cryptosystem‐based technique for biometric authentication in cloud‐based IoT ...
Azeem Irshad, Shehzad Ashraf Chaudhry
doaj   +1 more source

A min-entropy uncertainty relation for finite size cryptography

, 2012
Apart from their foundational significance, entropic uncertainty relations play a central role in proving the security of quantum cryptographic protocols.
C. H. Bennett, C. Schaffner, I. B. Damgård, I. B. Damgård, I. Damgård, M. Berta, Mario Berta, Nelly Huei Ying Ng, Stephanie Wehner   +8 more
core   +1 more source

A framework for proving the correctness of cryptographic protocol properties by linear temporal logic [PDF]

, 2013
In this paper, a framework for cryptographic protocol analysis using linear temporal logic is proposed. The framework can be used to specify and analyse security protocols.
Abdullah Alabdulatif, Lars Nolle, Xiaoqi Ma   +2 more
core   +1 more source

AI‐Assisted IoT‐Enabled ECG Monitoring: Integrating Foundational and Generative AI Tools for Sustainable Smart Healthcare—Recent Trends

AI &Innovation, EarlyView.
ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury, Kandarpa Kumar Sarma, Lachit Dutta   +2 more
wiley   +1 more source

Cryptographic protocols in practice [PDF]

, 2009
Cílem této práce bylo v první části popsat požadavky na kryptografické protokoly. Dále měla být provedena klasifikace těchto protokolů a uvedeny konkrétní příklady.
Truneček, Petr
core  

An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata [PDF]

, 2018
An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA).
Glück, Robert
core   +2 more sources

Cultivating Circularity: Harnessing Industry 4.0 and Stakeholder Engagement for a Sustainable Agrifood Future in Brazil

Business Strategy and the Environment, EarlyView.
ABSTRACT This study analyzed Industry 4.0 (I4.0) technology applications in agribusiness and the role of strategic stakeholders, engagement methods, and other critical aspects data sharing, confidentiality, integrity, decision‐making, and sector‐specific requirements in promoting circularity.
Simone Sehnem, Lucila M. S. Campos, Tais Provensi, Charbel Jose Chiappetta Jabbour   +3 more
wiley   +1 more source