Difference between revisions of "Main Page"

From prosecco
 
(2 intermediate revisions by one other user not shown)
Line 2: Line 2:
 
* [http://prosecco.gforge.inria.fr/ Prosecco Website]
 
* [http://prosecco.gforge.inria.fr/ Prosecco Website]
 
* [http://prosecco.gforge.inria.fr/people.php People in the team]
 
* [http://prosecco.gforge.inria.fr/people.php People in the team]
* [[School14Paris The Joint EasyCrypt-F*-CryptoVerif School]]
+
* [[The Joint EasyCrypt-F*-CryptoVerif School 2014]]
 +
* [[IETF TLS Interim October 2014]]

Latest revision as of 08:17, 3 September 2014