Paper planning to read

Books

• Handbook of Satisfiability
• Refactoring
• PL Books

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
• A Systematic Evaluation of Transient Execution Attacks and Defenses
• Survey of Transient Execution Attacks and Their Mitigations Wenjie Xiong

Blog Posts

• List of Test of Time Papers from Security Conferences