Formalization of ROM (interaction with a decryptor)
ROM in modules.
formalization.
Proofs on ROM
some useful files.
probability of finding collisions.
probability of obtaining informations by an interaction with the decryptor.
probability of finding
informations on secrets.