Some Proofs of Joint Distributions of Keystream Biases in RC4.
Sonu JhaSubhadeep BanikTakanori IsobeToshihiro OhigashiPublished in: INDOCRYPT (2016)
Keyphrases
- joint distribution
- cellular automata
- maximum entropy
- random variables
- marginal distributions
- conditional probabilities
- floating point
- pseudorandom
- probability distribution
- image encryption algorithm
- theorem proving
- theorem prover
- equational theories
- conditional distribution
- joint probability distributions
- bayesian networks
- image encryption
- random fields
- probabilistic model