Interactive Texture Mapping Jer^ ome Maillot , Hussein Yahiaz , Anne Verroustz  Thomson Digital Image z INRIA-Rocquencourt Abstract

Source URL: geostat.bordeaux.inria.fr

• Computer graphics
• Texture mapping
• 3D rendering
• Graphics
• Differential geometry of surfaces
• Wavefront .obj file
• Computer-aided design
• Rendering
• Shape
• UV mapping

F LEX TLS A Tool for Testing TLS Implementations Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, and Karthikeyan Bhargavan INRIA Paris-Rocquencourt Abstract

Source URL: www.usenix.org

• Secure communication
• Cryptographic software
• Cryptographic protocols
• Internet protocols
• Internet Standards
• Transport Layer Security
• OpenSSL
• Cipher suite
• GnuTLS
• WolfSSL
• Handshaking
• HTTPS

NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions Marc Mezzarobba Algorithms Project-Team, INRIA Paris-Rocquencourt, France

Source URL: www.marc.mezzarobba.net

• Mathematics
• Mathematical analysis
• Combinatorics
• Factorial
• Hypergeometric function
• Recurrence relation
• Exponentiation
• Generating function
• Bessel function
• Logarithm
• Analytic combinatorics
• Equation solving

Renata Cruz Teixeira Female, Brazilian and French, Born March 3rd 1975 Muse Team Inria Paris-Rocquencourt Home page: https://who.rocq.inria.fr/Renata.Teixeira/

Source URL: who.rocq.inria.fr

• SIGCOMM
• Multipath routing
• Vern Paxson
• Computer science
• Science and technology in the United States
• Information technology

Micro-Policies Hardware-Assisted Tag-Based Security Monitors Cătălin Hrițcu Inria Paris-Rocquencourt, Prosecco team

Source URL: prosecco.gforge.inria.fr

Finite Eilenberg Machines Benoˆıt Razet INRIA Paris-Rocquencourt, Abstract. Eilenberg machines define a general computational model.

Source URL: pauillac.inria.fr

Proved Generation of Implementations from Computationally Secure Protocol Specifications∗ David Cadé and Bruno Blanchet INRIA Paris-Rocquencourt 23 avenue d’Italie, 75013 Paris, France {david.cade,bruno.blanchet}@in

Source URL: prosecco.gforge.inria.fr

Gasp: an OCaml library for manipulating LF objects Matthias Puech1 Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126 CNRS, PiR2, INRIA Paris-Rocquencourt, FParis, France Università di Bologna, Dipartimento

Source URL: www.pps.univ-paris-diderot.fr

The Applied Pi Calculus. . . with Proofs Bruno Blanchet INRIA Paris-Rocquencourt

Source URL: prosecco.gforge.inria.fr

Abstract interpretation Application to stack allocation and synchronization elimination in JavaTM Bruno Blanchet INRIA Rocquencourt

Source URL: prosecco.gforge.inria.fr