Automated Secure Computing for Next-Generation Systems (IEEE, 2024)