Jul 27 2017 Secure Channel

This is a sketch of a design for the secure channel that we want to have between the Cryptech HSM and the client libraries which talk to it. Work in progress, and not implemented yet because a few of the pieces are still missing.

Design goals and constraints

Basic design …

Dec 15 2016 Development of a Cryptech ASIC Implementation

Introduction

The aim of the Cryptech project is to develop an open, free, and auditable HSM. The Cryptech HSM includes both SW and HW parts. In at least the first iteration of the Cryptech HSM, the HW parts are implemented using FPGA devices. However, the ability to implement the HW …

Dec 15 2016 Issues of an Assured Tool-Chain

We do not have any assurance that our basic tools are not compromised.

• Compilers
• Operating Systems
• Hardware Platforms
• Verilog and Other Tools to Produce Chips

At the base, is the compiler. The fear was first formally expressed in Ken Thompson's 1984 Turing Award Lecture Reflections on Trusting Trust.

David A …