Results 141 to 150 of about 1,558 (178)

Verification of a Cryptographic Primitive

ACM Transactions on Programming Languages and Systems, 2015
This article presents a full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic. Verifiable C is a separation logic for the C language, proved sound with respect to the operational semantics for
openaire   +1 more source

Primitive Constituent Elements of Cryptographic Protocols

2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), 2018
Many cryptographic protocols have been proposed, and many studies of them have been done. However, there is no study to identify constituent elements of cryptographic protocols that are elements of the protocols consist of. The constituent elements can be used for the basis of classification of already proposed cryptographic protocols, the basis of ...
Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng   +3 more
openaire   +2 more sources

Cryptographic Applications of Primitive Pythagorean Triples

Cryptologia, 2014
Abstract This article presents properties of primitive Pythagorean triples (PPTs) that have potential applications to cryptography. It shows that the six classes of primitive Pythagorean triples can be put into two groups, and autocorrelation and cross-correlation functions of the six classes derived from the gaps between each class type have been ...
Subhash C. Kak, Monisha Prabhu
openaire   +2 more sources

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

Journal of Automated Reasoning, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joana Martinho, António Ravara
openaire   +3 more sources

Cryptographic Primitives that Resist Backdooring and Subversion

2020
The Snowden revelations of 2013 have shed some light on the extent of state-performed mass surveillance programs that target people all over the world, violate their privacy, and endanger their cyber security. The presumably most expensive of these surveillance programs is the NSA's decryption program, Bullrun, which aims at breaking and sabotaging ...
openaire   +2 more sources

On the Homomorphic Computation of Symmetric Cryptographic Primitives

2013
We present an analysis on the homomorphic computability of different symmetric cryptographic primitives, with the goal of understanding their characteristics with respect to the homomorphic evaluation according to the BGV scheme. Specifically, we start from the framework presented by Gentry, Halevi and Smart for evaluating AES.
S. Mella, R. Susella
openaire   +1 more source

Implementing Cryptographic Primitives in the Symbolic Model

2011
When discussing protocol properties in the symbolic (Dolev-Yao; term-based) model of cryptography, the set of cryptographic primitives is defined by the constructors of the term algebra and by the equational theory on top of it. The set of considered primitives is not easily modifiable during the discussion.
openaire   +2 more sources

Duality between two cryptographic primitives

1991
This paper reveals a duality between constructions of two basic cryptographic primitives, pseudo-random string generators and one-way hash functions. Applying the duality, we present a construction for universal one-way hash functions assuming the existence of one-way permutations.
Yuliang Zheng 0001, Tsutomu Matsumoto, Hideki Imai   +2 more
openaire   +2 more sources

Watermarking Public-Key Cryptographic Primitives

2019
A software watermarking scheme enables users to embed a message or mark within a program while preserving its functionality. Moreover, it is difficult for an adversary to remove a watermark from a marked program without corrupting its behavior. Existing constructions of software watermarking from standard assumptions have focused exclusively on ...
Rishab Goyal, Sam Kim, Nathan Manohar, Brent Waters, David J. Wu 0001   +4 more
openaire   +2 more sources

Conventional Cryptographic Primitives

2010
Modern network security systems contain cryptographic primitives as an essential building block. In this chapter, we discuss conventional cryptographic primitives, which are also known as symmetric primitives. The term “symmetric” stems from the fact that in order to use conventional primitives, all parties need to share the same set of secret keys ...
openaire   +1 more source