Architectural Support for Software-Defined Metadata Processing Udit Dhawan1 C˘at˘alin Hri¸tcu2 Raphael Rubin1 Nikos Vasilakis1 Jonathan M. Smith1

Source URL: nikos.vasilak.is

The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

Source URL: www.netsec.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Internet
• Routing
• Internet Standards
• Internet protocols
• Forwarding plane
• Router
• Border Gateway Protocol
• Open Shortest Path First
• Multiprotocol Label Switching

Étudiant : Burtea Cosmin Coordinateur de stage : Prof. Danchin Raphäel M2 Mathématiques appliquées aux sciences du vivant

Source URL: math.univ-lyon1.fr

• Table of stars with Bayer designations
• Symbol

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

Andreas Furrer / Raphael Brunner Goodbye Gini-Durlemann Ein Stolperstein im schweizerischen Regressrecht fällt Das Bundesgericht hat den Regress der Schweiz neu geordnet. Die rechtliche «Trutzburg» Gini/Durlemann wur

Source URL: www.mme.ch

IKP: Turning a PKI Around with Decentralized Automated Incentives Stephanos Matsumoto Raphael M. Reischuk

Source URL: www.ieee-security.org

• Cryptography
• Key management
• Public-key cryptography
• Public key infrastructure
• Transport Layer Security
• E-commerce
• Certificate authority
• Public key certificate
• X.509
• Certificate Transparency
• Wildcard certificate
• Certificate policy

The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Metalogic
• Mathematics
• Proof theory
• Model theory
• Mathematical logic
• Syntax
• First-order logic
• Well-formed formula
• Formal system
• Logic programming
• Resolution

Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗ Leibniz Universität Hannover

Source URL: etc.leif.me

• Software engineering
• Computing
• Software development
• Version control
• Software testing
• Extreme programming
• Git
• Agile software development
• GitHub
• Test automation
• Continuous integration
• Open-source software

XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Key management
• Transport Layer Security
• Internet Standards
• Public key infrastructure
• Domain Name System Security Extensions
• Public key certificate
• Certificate authority
• X.509
• DNS root zone
• Man-in-the-middle attack

FICHE TECHNIQUE Panier Piano de Léonor Stirman (durée : 1h, tout public à partir de 7 ans) contact : Raphaël Boussarie au

Source URL: www.familia-stirman.com