Difference between revisions of "Main Page"

From prosecco
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]
* [[School2014|The Joint EasyCrypt-F*-CryptoVerif School]]
+
* [[The Joint EasyCrypt-F*-CryptoVerif School 2014]]

Revision as of 15:58, 9 July 2014

Prosecco is a research team at INRIA Paris-Rocquencourt.