Abstract
n this workshop, we will build a secure communication protocol from scratch. We are going to move away from messy logic and use the Rust compiler to enforce security rules. Using the Bastion Engine as our guide, we will create a system where a device cannot send data until it is fully authenticated.
Here is what we will do:
Build a Type-Safe State Machine: We will write code that uses Rust types to track a handshake. This ensures that skipping a security step results in a compiler error.
Write No-Std Code: We will work without the standard library. We will learn how to manage complex messages on tiny systems that do not have a memory allocator.
Implement Zero-Copy Logic: We will build a system that reads and writes data directly into buffers. This makes the protocol fast and efficient.
Run a Software Simulation: We will use a terminal-based tool to act as our hardware. We will connect two virtual devices and watch them authenticate in real time.
Prerequisites
A laptop with rustup cargo tools is enough.
