Difference between revisions of "Main Page"
From prosecco
| Line 3: | Line 3: | ||
* [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]] | * [[The Joint EasyCrypt-F*-CryptoVerif School 2014]] | ||
| + | * [[IETF TLS Interim October 2014]] | ||
Latest revision as of 09:17, 3 September 2014
Prosecco is a research team at INRIA Paris-Rocquencourt.
