Section: Overall Objectives

Objectives

The Tyrex team aims at developing a vision of a web where content is enhanced and protected, applications made easier to build, maintain and secure. It seeks to open new horizons for the development of the web, enhancing its potential, effectiveness, and dependability. In particular, we aim at making contributions by obtaining fundamental results, by building advanced experimental applications showcasing these results and by contributing to web standards. One fundamental problem of our time is a lack of formalisms, concepts and tools for reasoning simultaneously about content or data, programs and communication aspects. One scientific goal is to establish a unifying framework for designing advanced (robust, flexible, rich, efficient and novel) web applications. We address this objective along two complementary research directions: (i) modeling, and (ii) analysis for verification and optimisation. We further describe these directions in the next section. The overall goal is to enable richer, more reliable, secure, and efficient systems.