Enhancing an Embedded Processor Core for Efficient and Isolated Execution of Cryptographic Algorithms†. (19th May 2014)