1![Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/bd46895409190156de4170eb328ac414.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: 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 Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/fad9a4f1a55c302a1396589f67084699.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2014-01-06 10:00:12
|
---|
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 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](https://www.pdfsearch.io/img/246eefa06cdccba5379d7f05fb700749.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2010-09-20 10:06:48
|
---|
4![Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &](https://www.pdfsearch.io/img/c025175b7ef7c3ac64fb836bba388f06.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: 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, Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,](https://www.pdfsearch.io/img/9032eb46d82ccdfad5bfdd0dcf94e33f.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: 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 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](https://www.pdfsearch.io/img/921676e0ff18f09c1841bf4308a3af90.jpg) | Add to Reading ListSource URL: webmath.univ-rennes1.frLanguage: 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 How Easy is Code Equivalence over GF (q)? Dimitris E. Simos (joint work with Nicolas Sendrier) Project-Team SECRET INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/bc95531c48218f8a1fe7caa68dd15e3f.jpg) | Add to Reading ListSource URL: webmath.univ-rennes1.frLanguage: 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 Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002](https://www.pdfsearch.io/img/e28708df0a56a6d4098f01dfa68bee44.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
9![What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,](https://www.pdfsearch.io/img/8d645f2b3f3e7a653920a4cd3f91228e.jpg) | Add to Reading ListSource URL: ocaml.orgLanguage: English - Date: 2018-08-18 17:00:38
|
---|