Prosecco - PDFSEARCH.IO - Document Search Engine

Prosecco
Results: 1112

#	Item
21	CryptoVerif TLS 1.3 Mechanized Computational Proof of the TLS 1.3 Standard Candidate Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2017-04-29 12:45:36
22	Introduction Using CryptoVerif Proof technique Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:52
23	From Computationally-Proved Protocol Specifications to Implementations and Application to SSH∗ David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, Paris, France {david.cade,bruno.blanchet}@inria.fr Abstract Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2013-03-21 05:47:13
24	Protocoles cryptographiques: Attaques – Vérification Add to Reading List Source URL: prosecco.gforge.inria.fr Language: French - Date: 2014-06-13 08:04:03
25	What is secure compilation? Security goals and attacker models Cătălin Hrițcu Inria Paris 1 Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2018-05-14 13:24:16
26	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
27	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
28	After Dinner Beverages Harry’s Bar Bellini Port Blossom Prosecco and White Peach Puree $9 Add to Reading List Source URL: www.bellaontheriver.com Language: English - Date: 2018-01-13 12:40:57
29	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
30	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

UPDATE