Oblivious algorithms have uses besides avoiding side channels (example: http://www.cs.dartmouth.edu/~thc/papers/slabpose.pdf http://www.cs.dartmouth.edu/~thc/pa

Oblivious algorithms have uses besides avoiding side channels (example: http://www.cs.dartmouth.edu/~thc/papers/slabpose.pdf http://www.cs.dartmouth.edu/~thc/papers/slabpose.pdf) -- though I can't see as sore a need for an automated check of obliviousness in their case.