GForge - PDFSEARCH.IO - Document Search Engine

GForge
Results: 481

#	Item
51	Univalence Thorsten Altenkirch Functional Programming Laboratory Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2016-03-10 17:41:39
52	Introduction Composition Application to TLS 1.3 Add to Reading List Source URL: anr17-tecap.gforge.inria.fr Language: English - Date: 2018-03-17 05:44:04
53	SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu INRIA Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-09-12 00:49:30
54	Gradual Typing Embedded Securely in JavaScript Nikhil Swamy1 Juan Chen1 C´edric Fournet1 Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2014-02-18 08:32:05
55	When Good Components Go Bad Formally Secure Compilation Despite Dynamic Compromise Cătălin Hrițcu Inria Paris https://secure-compilation.github.io Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2018-05-17 07:14:15
56	Introduction Computationally sound prover Computationally sound logic Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:43
57	Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2016-03-10 17:41:39
58	Introduction Specification language Translation Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:51
59	Using CryptoVerif Proof technique Encrypt-then-MAC Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2014-11-26 03:21:14
60	R´eunion d’avancement du projet CHIC Programme 6 f´evrier Add to Reading List Source URL: chic.gforge.inria.fr Language: English - Date: 2012-03-11 09:27:19