Difference between revisions of "Main Page"

From prosecco
 
(4 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]
* [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