A framework for secure execution of software | Publicación