Difference between revisions of "Main Page"
From prosecco
(Created page with ".") |
|||
(6 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
− | . | + | Prosecco is a research team at INRIA Paris-Rocquencourt. |
+ | * [http://prosecco.gforge.inria.fr/ Prosecco Website] | ||
+ | * [http://prosecco.gforge.inria.fr/people.php People in the team] | ||
+ | * [[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.