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 09:17, 3 September 2014
Prosecco is a research team at INRIA Paris-Rocquencourt.