Rocquencourt - PDFSEARCH.IO - Document Search Engine

Rocquencourt
Results: 247

#	Item
1	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-02-20 10:22:48
2	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-06 10:00:12 Computing Computer security Software engineering Computer access control Cloud standards Hacking Computer network security Web development JavaScript HTTP cookie Cross-site scripting Cross-site request forgery
3	The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2010-09-20 10:06:48 Mathematics Computability theory Computer programming Theoretical computer science Software engineering Subroutines Recursion Continuous function Recurrence relation Computable topology
4	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
5	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
6	On the propagation of linear relations through an Sbox Christina Boura1,2 and Anne Canteaut1 1 SECRET Project-Team - INRIA Paris-Rocquencourt - B.PLe Chesnay Cedex - France Add to Reading List Source URL: webmath.univ-rennes1.fr Language: English - Date: 2016-03-14 12:25:55
7	How Easy is Code Equivalence over GF (q)? Dimitris E. Simos (joint work with Nicolas Sendrier) Project-Team SECRET INRIA Paris-Rocquencourt Add to Reading List Source URL: webmath.univ-rennes1.fr Language: English - Date: 2016-03-14 12:25:54
8	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
9	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, Add to Reading List Source URL: ocaml.org Language: English - Date: 2018-08-18 17:00:38 Software engineering Computer programming Computing Functional languages OCaml Caml Procedural programming languages ML Conditional Exception handling Xavier Leroy

UPDATE