GForge - PDFSEARCH.IO - Document Search Engine

GForge
Results: 481

#	Item
81	Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2018-02-26 08:01:29
82	Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2018-01-07 12:23:18
83	Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Prosecco team 5 year vision Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2017-03-17 11:41:14
84	SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătăli Hriț u Inria Paris Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-12-16 10:47:51
85	SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris (visiting researcher at Microsoft until end of November) Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-11-03 16:57:14
86	The Why3 platform Version 0.73, May 2012 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: gforge.inria.fr
87	OpenMEEG: Hands-on tutorial Maureen Clerc Alexandre Gramfort Emmanuel Olivi Th´eo Papadopoulo OpenMEEG Version 3.0 Add to Reading List Source URL: openmeeg.gforge.inria.fr - Date: 2013-12-10 07:04:13
88	The Why3 platform Version 0.80, October 2012 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: gforge.inria.fr
89	QuickChick: A Coq Framework For Veriﬁed Property Based Testing Zoe Paraskevopoulou September 8, 2014 Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2014-09-18 14:06:24