Paper planning to read

Books

• Handbook of Satisfiability
• Refactoring

Papers

TEE/CC

• SoK: Hardware-supported Trusted Execution Environments
• Private delegated computations using strong isolation
• TDX Security Spec

Middlewares

• Private delegated computations using strong isolation Veracruz

Software Security

• Compositional Security for Reentrant Applications
• Cross-Language Attacks

Side-channel

• An Analysis of Speculative Type Confusion Vulnerabilities in the Wild

Blog Posts

• List of Test of Time Papers from Security Conferences