Secure Multi-Execution through Static Program Transformation | Publicación