Defining Secrecy and Secure Multi-Execution (Noninterference)
Information Flow Control Type Systems (StaticIFC)
Speculative Constant-Time (SpecCT)
- Cryptographic constant-time
- Constant-time conditional
- Typing Constant-time conditional
- Now back to adding arrays
- Observations
- Constant-time security definition
- Example pc secure program that is not constant-time secure
- Type system for cryptographic constant-time programming
- Final theorems: noninterference and constant-time security
- Speculative constant-time
- Speculative constant-time interpreter