Manuel Barbosa, Dan Page. On the Automatic Construction of Indistinguishable Operations. IACR Cryptology ePrint Archive, 2005:174, 2005. [doi]
@article{BarbosaP05-0, title = {On the Automatic Construction of Indistinguishable Operations}, author = {Manuel Barbosa and Dan Page}, year = {2005}, url = {http://eprint.iacr.org/2005/174}, researchr = {https://researchr.org/publication/BarbosaP05-0}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2005}, pages = {174}, }