A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic - Sop - Document - PDFSEARCH.IO

First Page	Meta Content
	A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic Add to Reading List Document Date: 2009-11-06 11:35:10 Open Document File Size: 282,95 KB Share Result on Facebook

A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le GuernicAdd to Reading List