Barbosa MB, Page D.? 2005.??On the Automatic Construction of Indistinguishable Operations. 10th IMA International Conference on Cryptography and Coding . 3796:233-247.