Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

Source URL: www.doc.ic.ac.uk

Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

Source URL: www.doc.ic.ac.uk

• 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

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

Source URL: perso.ensta-paristech.fr

• Mathematics
• Computability theory
• Computer programming
• Theoretical computer science
• Software engineering
• Subroutines
• Recursion
• Continuous function
• Recurrence relation
• Computable topology

Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

Source URL: xavierleroy.org

Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

Source URL: xavierleroy.org

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

Source URL: webmath.univ-rennes1.fr

How Easy is Code Equivalence over GF (q)? Dimitris E. Simos (joint work with Nicolas Sendrier) Project-Team SECRET INRIA Paris-Rocquencourt

Source URL: webmath.univ-rennes1.fr

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Source URL: xavierleroy.org

What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

Source URL: ocaml.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• OCaml
• Caml
• Procedural programming languages
• ML
• Conditional
• Exception handling
• Xavier Leroy