Results 41 to 50 of about 408,401 (216)

HACL*: A Verified Modern Cryptographic Library

Conference on Computer and Communications Security, 2017
HACL* is a verified portable C cryptographic library that implements modern cryptographic primitives such as the ChaCha20 and Salsa20 encryption algorithms, Poly1305 and HMAC message authentication, SHA-256 and SHA-512 hash functions, the Curve25519 ...
Jean-Karim Zinzindohoué, K. Bhargavan, Jonathan Protzenko, B. Beurdouche   +3 more
semanticscholar   +1 more source

Pseudo-free families and cryptographic primitives

Journal of Mathematical Cryptology, 2022
Abstract In this article, we study the connections between pseudo-free families of computational Ω \Omega
openaire   +3 more sources

The Eleventh Power Residue Symbol

Journal of Mathematical Cryptology, 2020
This paper presents an efficient algorithm for computing 11th-power residue symbols in the cyclo-tomic field ℚ(ζ11),$ \mathbb{Q}\left( {{\zeta }_{11}} \right), $where 11 is a primitive 11th root of unity.
Joye Marc, Lapiha Oleksandra, Nguyen Ky, Naccache David   +3 more
doaj   +1 more source

OpenFHE: Open-Source Fully Homomorphic Encryption Library

IACR Cryptology ePrint Archive, 2022
Fully Homomorphic Encryption (FHE) is a powerful cryptographic primitive that enables performing computations over encrypted data without having access to the secret key.
Ahmad Al Badawi, Jack Bates, Flávio Bergamaschi, David Cousins, Saroja Erabelli, N. Genise, S. Halevi, Hamish Hunt, Andrey Kim, Yongwoo Lee, Zeyu Liu, D. Micciancio, Ian Quah, Yuriy Polyakov, Saraswathy R.V., Kurt Rohloff, J. Saylor, Dmitriy Suponitsky, Matthew A. Triplett, V. Vaikuntanathan, Vincent Zucca   +20 more
semanticscholar   +1 more source

Tamper‐Responsive Physical Unclonable Functions via Graphene‐Interlayered Block Copolymer Random Structures

Advanced Materials, EarlyView.
Self‐invalidating multilayer physical unclonable functions (PUFs) integrate fingerprint‐like metal nanopattern bilayers from block copolymer templates with highly reactive reduced graphene oxide (rGO) interlayers. This tamper‐responsive architecture blocks all unauthorized physical and chemical replication attempts while autonomously deactivating ...
Gyu Hui Jo, Dae Hui Park, Jeong‐Ho Jang, Woo Seok Tack, Jin Man Kim, Hak Ki Yu, Hyeong Min Jin, Jang Hwan Kim   +7 more
wiley   +1 more source

Hierarchical Multi‐Mode Computing in Interlayer‐Coupled 3D RRAM Crossbar Arrays

Advanced Science, EarlyView.
2‐deck RRAM crossbar array provides a versatile hardware platform for multifunctional in‐memory computing. Stacked, series, and entropy node configurations enable multi‐layer conductance modulation, logic‐in‐memory operation, genetic learning, and reconfigurable physical unclonable functions.
Seungman Park, Jaewoo Choi, Gigon Nam, Junsu Yu, Donghyun Ryu, Jung‐Kyu Lee, Sungjoon Kim, Sungjun Kim   +7 more
wiley   +1 more source

Optimization of Additive Fibonacci Generators Based on Primitive Polynomials Over GF(p)

IEEE Access
This paper presents an approach to the modification of the additive Fibonacci generator by implementing it based on primitive polynomials over the field GF(p).
Pawel Sawicki, Volodymyr Maksymovych, Oleh Harasymchuk, Serhii Lupenko, Mariia Shabatura, Katarzyna Marczak, Ruslan Shevchuk, Mikolaj Karpinski   +7 more
doaj   +1 more source

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3

IACR Cryptology ePrint Archive, 2019
We present a high-assurance and high-speed implementation of the SHA-3 hash function. Our implementation is written in the Jasmin programming language, and is formally verified for functional correctness, provable security and timing attack resistance in
J. Almeida, Cécile Baritel-Ruet, M. Barbosa, G. Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub   +9 more
semanticscholar   +1 more source

Hierarchical Physical‐Cyber Encryption via Metasurface‐Encoded Holographic Keys

Advanced Science, EarlyView.
ABSTRACT Physical‐layer encryption based on metasurfaces has emerged as a promising alternative to conventional algorithmic cryptography by embedding security into physical processes. However, most existing metasurface‐based encryption schemes operate within single‐stage or static frameworks, where correct physical illumination directly reveals the ...
Zhen Liu, Changhong Dai, Wei Zhu, Ruisheng Yang, Bohan Zhang, Lei Zhang, Bobo Du, Shengxiang Wang, Guangwei Hu   +8 more
wiley   +1 more source

Variable Bit Permutations: Linear Characteristics and Pure VBP-Based Cipher [PDF]

Computer Science Journal of Moldova, 2005
This paper describes linear characteristics of the variable bit permutations (VBP) that are used in the form of the data-dependent permutations. This primitive suites well to the design of fast cheap-hardware-oriented ciphers. Because of the existence of
N.A. Moldovyan, A.A. Moldovyan, N.D. Goots   +2 more
doaj