A secure processor architecture for encrypted computation ...