Zinc - Minimal Light-weight Kernel Cryptography API

Explore the Zinc cryptography API for Linux kernels in this 49-minute conference talk from the Linux Plumbers Conference. Dive into the minimal, light-weight design principles behind Zinc as Jason Donenfeld presents its key features. Learn about cipher key allocation, buffer encryption, string parsing, and various cryptographic primitives. Discover how Zinc incorporates formal verification techniques and academic support to ensure robustness. Examine optimizations for branch prediction and scheduling, and understand the process of merging and cleaning up kernel code. Gain insights into the development and implementation of this essential cryptographic framework for Linux systems.

Introduction
Background
Overview
BKey
Define cipher
Key allocation
Buffer encryption
String parsing
Functions
Primitives
Hashing
People
Verification
Formal Verification
Academic Support
Buzzer
Organization
Branch Predictor
Optimizations
Scheduler
Wrapping Up
Merge
Clean up
Kernel code