Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt - Smart card - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-08-01 14:49:25		Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: xavierleroy.org Download Document from Source Website File Size: 131,41 KB Share Document on Facebook