A formal treatment of the role of verified compilers in secure computation | Publicación