2 papers
cs.CR2026
No Bit Left Behind: Using Brute-Force Lifting to Achieve Fully Static Binary Recompilation
Tianjiao Huang, Po-An Chen, Nick Baron +1
Binary recompilation is a technique for operating directly on executable code. It promises to automate two important tasks: retrofitting security mitigations onto legacy binaries,…
cs.CR2026
Securing Filesystems for Confidential Computing
Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet +5
Confidential computing protects applications inside Trusted Execution Environments (TEEs), but it leaves storage vulnerable. Even with disk encryption, a malicious cloud provider c…