Manuel Barbosa, Dan Page. On the Automatic Construction of Indistinguishable Operations. In Nigel P. Smart, editor, Cryptography and Coding, 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings. Volume 3796 of Lecture Notes in Computer Science, pages 233-247, Springer, 2005. [doi]
Abstract is missing.