INDES - 2017 - Annual activity report

INDES

INDES - 2017

Project-Team Indes

Personnel

Overall Objectives

Research Program

Parallelism, concurrency, and distribution
Web and functional programming
Security of diffuse programs

New Software and Platforms

Bigloo
Camloo
Hop
IFJS
iflowsigs.js
iflowTYPES.js
Mashic
scheme2JS
Hiphop.js
Server-Side Protection against Third Party Web Tracking
BELL
webstats

New Results

Type Abstraction for Relaxed Noninterference
Multiparty Reactive Sessions
Multiparty Reversible Sessions
JavaScript ahead-of-time compilation
Orchestration of Web applications
On the Content Security Policy Violations due to the Same-Origin Policy
Control What You Include! Server-Side Protection Against Third Party Web Tracking
A Better Facet of Dynamic Information Flow Control
Impossibility of Precise and Sound Termination Sensitive Security Enforcements
BELL: Browser fingerprinting via Extensions and Login-Leaks
Large-scale measurement of invisible images for Web tracking

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Previous |

Home | Next next

Section: New Software and Platforms

Hiphop.js

Keywords: Web 2.0 - Synchronous Language

Functional Description: Hiphop.js is a DSL which extends JavaScript with temporal constructions. It makes easier the orchestration of asynchronous Web applications.

Contact: Colin Vidal
URL: http://www-sop.inria.fr/members/Colin.Vidal/hiphop/

Previous |

Home | Next next