Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Peter T. Breuer

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here ⬇️

article published in 2016

A Fully Homomorphic Crypto-Processor Design

A Practical Encrypted Microprocessor

A compendium of formal techniques for software maintenance

A prettier compiler-compiler: Generating higher-order parsers in C

Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing

article published in 2014

Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky

Decompilation: the enumeration of types and grammars

article

Empirical Patterns in Google Scholar Citation Counts ⬇️

scholarly article published April 2014

Encrypted computing: Speed, security and provable obfuscation against insiders

Erratum: A Fully Homomorphic Crypto-Processor Design

scholarly article published in Lecture Notes in Computer Science

Idea: Towards a Working Fully Homomorphic Crypto-processor

On Obfuscating Compilation for Encrypted Computing

On Security in Encrypted Computing

Processor Rescue

Superscalar Encrypted RISC: The Measure of a Secret Computer

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing

Towards Correct Executable Semantics for Z

Typed Assembler for a RISC Crypto-Processor

Paulina is supported by:

About Paulina

Help