Security Types Preserving Compilation∗ Gilles Barthe, Tamara.Rezk, Amitabh Basu† INRIA Sophia-Antipolis, France {Gilles.Barthe,Tamara.Rezk Stony Brook University, USA November 14, - Stony Brook University - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-05-20 07:18:47		Security Types Preserving Compilation∗ Gilles Barthe, Tamara.Rezk, Amitabh Basu† INRIA Sophia-Antipolis, France {Gilles.Barthe,Tamara.Rezk}@sophia.inria.fr Stony Brook University, USA November 14, Add to Reading List Source URL: www-sop.inria.fr Download Document from Source Website File Size: 231,55 KB Share Document on Facebook