Formalization of Interactive Generic Algorithm
ROM.
Parallel attack.