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] | ||
− | * [[ | + | * [[The Joint EasyCrypt-F*-CryptoVerif School 2014]] |
Revision as of 15:58, 9 July 2014
Prosecco is a research team at INRIA Paris-Rocquencourt.