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.