User contributions
From prosecco
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 12:01, 7 November 2014 (diff | hist) (+1) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors)
- 12:00, 7 November 2014 (diff | hist) (0) N File:Prosecco1.png (current)
- 11:58, 7 November 2014 (diff | hist) (+454) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors: Logos)
- 11:52, 7 November 2014 (diff | hist) (0) N File:Prosecco.png (current)
- 11:52, 7 November 2014 (diff | hist) (0) N File:Cryptosense.png (current)
- 11:51, 7 November 2014 (diff | hist) (0) N File:Cryptoforma.png (current)
- 11:09, 7 November 2014 (diff | hist) (+47) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense reception)
- 11:09, 7 November 2014 (diff | hist) (-5) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense reception)
- 11:08, 7 November 2014 (diff | hist) (+13) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense reception)
- 13:02, 6 November 2014 (diff | hist) (0) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Friday, November 28th 2014)
- 11:10, 6 November 2014 (diff | hist) (+357) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors)
- 11:05, 6 November 2014 (diff | hist) (+984) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense reception)
- 11:00, 6 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense Reception)
- 10:59, 6 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense Reception)
- 10:59, 6 November 2014 (diff | hist) (+3) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Cryptosense Reception)
- 10:58, 6 November 2014 (diff | hist) (+786) The Joint EasyCrypt-F*-CryptoVerif School 2014 (Cryptosense Reception)
- 10:48, 6 November 2014 (diff | hist) (+111) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Tuesday, November 25th 2014: Added Cryptosense Reception)
- 17:55, 4 November 2014 (diff | hist) (-1) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social dinner)
- 17:54, 4 November 2014 (diff | hist) (+87) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Thursday, November 27th 2014)
- 17:50, 4 November 2014 (diff | hist) (-33) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social dinner)
- 17:48, 4 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 17:47, 4 November 2014 (diff | hist) (-33) m CryptoVerif Installation (→Installing the binary package (Windows))
- 17:44, 4 November 2014 (diff | hist) (+69) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Hardware and software)
- 15:01, 4 November 2014 (diff | hist) (+63) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Friday, November 28th 2014)
- 14:44, 4 November 2014 (diff | hist) (+108) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 14:43, 4 November 2014 (diff | hist) (+237) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 14:41, 4 November 2014 (diff | hist) (+97) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 14:40, 4 November 2014 (diff | hist) (+1,502) N Invited Talks - Joint School 2014 (Abstract for Veronique's talk)
- 13:52, 4 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 13:41, 4 November 2014 (diff | hist) (+383) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): Links)
- 13:37, 4 November 2014 (diff | hist) (+46) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Friday, November 28th 2014)
- 13:35, 4 November 2014 (diff | hist) (-8) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 13:28, 4 November 2014 (diff | hist) (+10) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): layout)
- 13:11, 4 November 2014 (diff | hist) (+34) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 13:08, 4 November 2014 (diff | hist) (-1) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 13:08, 4 November 2014 (diff | hist) (+7) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 13:08, 4 November 2014 (diff | hist) (+91) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!): social dinner)
- 13:06, 4 November 2014 (diff | hist) (+108) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): about Salle Orange)
- 12:57, 4 November 2014 (diff | hist) (+348) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): Location for EasyCrypt part too)
- 12:50, 4 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Wednesday, November 26th 2014 (Tentative!))
- 12:49, 4 November 2014 (diff | hist) (+852) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): Wednesday)
- 12:31, 4 November 2014 (diff | hist) (+44) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Friday, November 28th 2014: room on separate column)
- 12:28, 4 November 2014 (diff | hist) (+54) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): more bold)
- 12:26, 4 November 2014 (diff | hist) (-89) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Thursday, November 27th 2014)
- 12:26, 4 November 2014 (diff | hist) (+452) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): Thursday)
- 12:09, 4 November 2014 (diff | hist) (+379) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): Friday)
- 11:58, 4 November 2014 (diff | hist) (-20) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule (Work in progress): use less horizontal space)
- 11:46, 4 November 2014 (diff | hist) (+19) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule: added work in progress)
- 11:40, 4 November 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule: typo)
- 21:36, 3 November 2014 (diff | hist) (+129) m CryptoVerif Installation (→Prerequisites: emacs)
- 15:34, 3 November 2014 (diff | hist) (+3,130) N CryptoVerif Installation (First whack at CryptoVerif instructions)
- 09:28, 19 October 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Travel, food, and accommodation)
- 09:27, 19 October 2014 (diff | hist) (-14) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social dinner)
- 09:26, 19 October 2014 (diff | hist) (+370) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social dinner: More details on Social Dinner)
- 09:15, 19 October 2014 (diff | hist) (+5) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Hardware and software)
- 10:21, 10 October 2014 (diff | hist) (-24) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Institutions)
- 10:07, 10 October 2014 (diff | hist) (0) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Institutions: alphabetized)
- 17:58, 8 October 2014 (diff | hist) (+120) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (Prosecco support)
- 17:56, 8 October 2014 (diff | hist) (+90) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (Dinner sponsorship)
- 17:55, 8 October 2014 (diff | hist) (+3) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social events)
- 17:54, 8 October 2014 (diff | hist) (+81) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors: Added MSR-Inria sponsorship)
- 17:28, 8 October 2014 (diff | hist) (+2) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Institutions: Better(?) MSR + IMDEA logos)
- 17:27, 8 October 2014 (diff | hist) (0) N File:Imdea2.png (current)
- 17:23, 8 October 2014 (diff | hist) (0) N File:Msr.jpg (current)
- 17:19, 8 October 2014 (diff | hist) (+126) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Institutions: Added MSR-INRIA logo)
- 17:16, 8 October 2014 (diff | hist) (0) N File:MSR-INRIA UK CMYK.png (current)
- 21:46, 24 September 2014 (diff | hist) (+8) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Social events)
- 19:22, 24 September 2014 (diff | hist) (+4) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration)
- 19:22, 24 September 2014 (diff | hist) (-10) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Tools Institutions)
- 19:20, 24 September 2014 (diff | hist) (+87) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration)
- 19:18, 24 September 2014 (diff | hist) (0) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Lecturers and tutorial aides)
- 20:32, 23 September 2014 (diff | hist) (+47) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Lecturers and tutorial aides: Added Aseem)
- 18:11, 21 September 2014 (diff | hist) (+18) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 14:19, 17 September 2014 (diff | hist) (-42) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration)
- 01:54, 17 September 2014 (diff | hist) (+21) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration)
- 23:31, 16 September 2014 (diff | hist) (+22) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule)
- 23:29, 16 September 2014 (diff | hist) (+33) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Place: Paris)
- 23:11, 16 September 2014 (diff | hist) (0) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Place: Paris)
- 22:52, 16 September 2014 (diff | hist) (+506) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Place: Paris: Real location)
- 10:14, 16 September 2014 (diff | hist) (+17) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 16:48, 15 September 2014 (diff | hist) (0) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule)
- 15:46, 12 September 2014 (diff | hist) (-108) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Place: INRIA office in Paris: Location to be announced)
- 15:53, 9 September 2014 (diff | hist) (-17) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 00:38, 2 September 2014 (diff | hist) (-116) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration: Deadline expired)
- 14:50, 30 August 2014 (diff | hist) (+8) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Registration)
- 09:57, 30 August 2014 (diff | hist) (-11) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Hardware and software)
- 11:07, 24 August 2014 (diff | hist) (+154) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers)
- 09:45, 17 August 2014 (diff | hist) (+64) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Schedule)
- 09:43, 17 August 2014 (diff | hist) (+486) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Invited speakers: Announced the confirmed invited speakers)
- 18:30, 12 August 2014 (diff | hist) (-6) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors)
- 18:30, 12 August 2014 (diff | hist) (-7) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Financial support)
- 15:50, 12 August 2014 (diff | hist) (+1) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Financial support)
- 15:50, 12 August 2014 (diff | hist) (+151) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Sponsors: CryptoForma support part 2)
- 15:47, 12 August 2014 (diff | hist) (-3) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Financial support)
- 15:44, 12 August 2014 (diff | hist) (+212) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Financial support: CryptoForma support part 1)
- 19:44, 5 August 2014 (diff | hist) (+34) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Organization: added my email address)
- 23:41, 29 July 2014 (diff | hist) (+123) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Lecturers and tutorial aides:)
- 23:41, 29 July 2014 (diff | hist) (-68) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Abstract)
- 19:27, 27 July 2014 (diff | hist) (-32) m The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Lecturers and tutorial aides:)
- 22:53, 25 July 2014 (diff | hist) (+99) The Joint EasyCrypt-F*-CryptoVerif School 2014 (→Lecturers and tutorial aides:)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)