Security of multithreaded programs by compilation | Publicación