A Practical Encrypted Microprocessor | Publicación