![](https://www.pdfsearch.io/img/fd5cce40e4ca203641f4017f86e16cee.jpg) 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}@inAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source Website File Size: 968,73 KBShare Document on Facebook
|