Interactive generic algorithm for parallel attack
                                       (with interactions with a signer)


                                                        Formalization

• interactive algorithm in modules.
• formalization.

                                                        Proofs

• some useful files.
  
• probability of finding collisions in group elements.
• probability of finding collisions in hash values.
• probability of obtaining informations by an interaction with the signer.
• probability of obtaining a one more signature.