Title: Automated Secure Computing for Next-Generation Systems