Results 241 to 250 of about 35,425 (325)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Secure IoV communications for smart fleet systems empowered with ASCON. [PDF]

Sci Rep
A J B, Kaythry P.
europepmc   +1 more source

Enhanced related-key differential neural distinguishers for SIMON and SIMECK block ciphers. [PDF]

PeerJ Comput Sci
Wang G, Wang G.
europepmc   +1 more source

Enhancing security in instant messaging systems with a hybrid SM2, SM3, and SM4 encryption framework. [PDF]

PLoS One
Lu HJ, Juanatas RA, Abisado MB.
europepmc   +1 more source

Data security storage and transmission framework for AI computing power platforms. [PDF]

Sci Rep
Chen J, Lu Z, Zheng H, Ren Z, Chen Y, Shang J.   +5 more
europepmc   +1 more source

A Multilayer Nonlinear Permutation Framework and Its Demonstration in Lightweight Image Encryption. [PDF]

Entropy (Basel)
İnce C, İnce K, Hanbay D.
europepmc   +1 more source

A chaos-based augmented image encryption scheme for satellite images using Fredkin logic. [PDF]

Sci Rep
Alexan W, Maher EA, Mamdouh E, Youssef M, Ehab N.   +4 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Efficient Hardware Implementation of SIMECK Lightweight Block Cipher

International Journal of High Performance Systems Architecture, 2023
Shweta Kumari, Zeesha Mishra, Bibhudendra Acharya   +2 more
openaire   +2 more sources

IVLBC: An Involutive Lightweight Block Cipher for Internet of Things

IEEE Systems Journal, 2023
Nowadays, the use of the Internet of Things has reached a commanding height in a new round of economic and technological upsurge. Its data transmission security has attracted much attention.
Xiantong Huang, Lang Li, Jinling Yang
semanticscholar   +1 more source

Optimized Implementation of S-box and Inverse S-box for PRESENT Lightweight Block Cipher

2023 2nd International Conference on Vision Towards Emerging Trends in Communication and Networking Technologies (ViTECoN), 2023
In the recent years, the exchange of information in the constrained environment like RFID and sensor networks uses several lightweight cryptographic techniques that are established for block ciphers implementation.
M. R, Nithish Kumar V
semanticscholar   +1 more source