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