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]] |
Revision as of 15:48, 9 July 2014
Prosecco is a research team at INRIA Paris-Rocquencourt.
