Difference between revisions of "Main Page"
From prosecco
(First edit) |
|||
| Line 1: | Line 1: | ||
Prosecco is a research team at INRIA Paris-Rocquencourt. | Prosecco is a research team at INRIA Paris-Rocquencourt. | ||
| − | * [http://prosecco.gforge.inria.fr/ | + | * [http://prosecco.gforge.inria.fr/ Prosecco Website] |
| − | * [http://prosecco.gforge.inria.fr/people.php | + | * [http://prosecco.gforge.inria.fr/people.php People in the team] |
| − | * | + | * [The Joint EasyCrypt-F*-CryptoVerif School] |
Revision as of 15:45, 9 July 2014
Prosecco is a research team at INRIA Paris-Rocquencourt.
- Prosecco Website
- People in the team
- [The Joint EasyCrypt-F*-CryptoVerif School]
