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.