Section: Bilateral Contracts and Grants with Industry

Resilience FUI

Participants : Stéphane Ducasse [Correspondant] , Nicolas Petton, Damien Cassou.

Contracting parties: Nexedi, Morphom Alcatel-Lucent Bell Labs, Astrium Geo Information, Wallix, XWiki, Alixen, Alterway, Institut Télécom, Université Paris 13, CEA LIST.

Resilience's goal is to protect private data on the cloud, to reduce spying and data loss in case of natural problems. Resilience proposes to develop a decentralized cloud architecture: SafeOS. Safe OS is based on replication of servers. In addition a safe solution for documents should be developed. Sandboxing for Javascript applications should be explored.

We proposed to use WebWorkers as a way to control DOM edition. There is a plethora of research articles describing the deep semantics of JavaScript. Nevertheless, such articles are often difficult to grasp for readers not familiar with formal semantics. We proposed a digest of the semantics of JavaScript centered around security concerns.