Summary Introduction Areas of active discussion Aliasing and memory model Cryptographic concerns Keeping secrets Constant time code Zeroing Data structure layout Stable addresses Storage liveness Uninhabited types like ! and exhaustiveness Unions Uninitialized memory Data layout Structs and tuples Integers and Floating Points Enums Unions Vectors Optimizations Optimizing immutable memory Glossary