Proved Generation of Implementations from Computationally Secure Protocol Specifications∗ David Cadé and Bruno Blanchet INRIA Paris-Rocquencourt 23 avenue d’Italie, 75013 Paris, France {david.cade,bruno.blanchet}@in

First Page		Document Content
Date: 2013-08-23 08:46:26		Proved Generation of Implementations from Computationally Secure Protocol Specifications∗ David Cadé and Bruno Blanchet INRIA Paris-Rocquencourt 23 avenue d’Italie, 75013 Paris, France {david.cade,bruno.blanchet}@in Add to Reading List Source URL: prosecco.gforge.inria.fr Download Document from Source Website File Size: 968,73 KB Share Document on Facebook