prosecco

Not logged in

  • Log in

Navigation

  • Main page
  • Recent changes
  • Random page
  • Help

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Page history
  • Refresh page

Main Page

Namespaces

  • Main page
  • Discussion

Views

  • View
  • View source
  • History
From prosecco

Prosecco is a research team at INRIA Paris-Rocquencourt.

  • Prosecco Website
  • People in the team
  • The Joint EasyCrypt-F*-CryptoVerif School 2014
  • IETF TLS Interim October 2014
Retrieved from "https://wiki.inria.fr/wikis/prosecco/index.php?title=Main_Page&oldid=50"

Navigation

  • Main page
  • Recent changes
  • Random page
  • Help

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Page history
  • Refresh page
Powered by MediaWiki
  • This page was last edited on 3 September 2014, at 08:17.
  • Privacy policy
  • About prosecco
  • Disclaimers