GForge

#	Item
31	PDF Document Add to Reading List Source URL: hott-uf.gforge.inria.fr - Date: 2016-06-29 08:35:22
32	PDF Document Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2018-06-26 10:32:04
33	PDF Document Add to Reading List Source URL: hott-uf.gforge.inria.fr - Date: 2016-03-10 17:41:39
34	PDF Document Add to Reading List Source URL: hott-uf.gforge.inria.fr - Date: 2016-06-29 06:24:45
35	PDF Document Add to Reading List Source URL: starpu.gforge.inria.fr - Date: 2018-08-17 23:15:52
36	PDF Document Add to Reading List Source URL: binsec.gforge.inria.fr - Date: 2017-11-15 05:31:12
37	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus Michael Backes1,2 , C˘at˘alin Hri¸tcu1 , and Matteo Maffei1 1 Saarland University, Saarbrücken, Germany Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2014-03-05 17:17:53
38	TECAP Défi 9 : Liberté et sécurité de l’Europe, de ses citoyens et de ses résidents - PRC 2017 Add to Reading List Source URL: anr17-tecap.gforge.inria.fr Language: English - Date: 2018-02-12 04:47:53
39	Automatic Verification of Security Protocols: ProVerif and CryptoVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-05-24 17:03:36
40	StarPU Handbook for StarPUGenerated by Doxygen. i Add to Reading List Source URL: starpu.gforge.inria.fr Language: English - Date: 2018-08-16 05:56:45