Skip to content
Category

Theory of cryptography

page 1
semiprime
In mathematics, a semiprime is a natural number that is the product of exactly two prime numbers. The two primes in the product may equal each other, so the semiprimes include the squares of prime numbers. Because there are infinitely many prime numbers, there are also infinitely many semiprimes. Semiprimes are also called biprimes, since they include two primes, or second numbers, by analogy with how "prime" means "first". Alternatively semiprimes are called almost-prime numbers, specifically the "2-almost-prime" biprime and "3-almost-prime" triprime.
Sophie Germain prime
prime number p where 2p+1 is also prime
zero-knowledge proof
providing validity without revealing any other data
safe prime
prime number of the form 2p+1 where p is also prime
trapdoor function
type of function that is easy to compute in one direction, yet difficult to compute in the opposite direction without special information
random oracle
oracle that responds to every unique query with a (truly) random response chosen uniformly from its output domain
differential privacy
statistical privacy protection mechanism
Secure multi-party computation
subfield of cryptography
information-theoretic security
security of a cryptosystem which derives purely from information theory
semantic security
security guarantee in which any probabilistic polynomial-time algorithm (PPTA) given the ciphertext and the message length can’t find any information on the message with probability nonnegligibly higher than a PPTA only given the message length
sponge function
class of algorithms with finite internal state that take an input bit stream of any length and produce an output bit stream of any desired length that can be used to model or implement many cryptographic primitives
provable security
computer security method
private information retrieval
information retrieval husing cryptography
Strong prime
type of prime number
Ciphertext indistinguishability
Property of some cryptosystems
Pseudorandom function family
collection of efficiently-computable functions which emulate a random oracle
Lenstra–Lenstra–Lovász lattice basis reduction algorithm
algorithm for finding a basis of short vectors in a lattice
Rabin fingerprint
method for implementing fingerprints using polynomials over a finite field, proposed by Michael O. Rabin
Message authentication
in information security
Fiat–Shamir heuristic
Cryptographic technique
malleability
property of some cryptographic algorithms
Burrows–Abadi–Needham logic
set of rules for defining and analyzing information exchange protocols
collision resistance
property of cryptographic hash functions
computational hardness assumption
hypothesis in computational complexity theory
Pseudo-Hadamard transform
Yao's Millionaires' problem
secure multi-party computation problem introduced in 1982 by Andrew Yao: two millionaires wish to know which of them is richer without revealing their actual wealth
Hard-core predicate
concept in cryptography