A paper that proposes an expressive calculus for reversible sessions, equipped with a fine-tuned rollback mechanism and a safety-enforcing type system was accepted and presented at the 28th International Conference on Concurrency Theory (CONCUR 2017):
Vincent Prunet has given an interview about a start-up project based on Hop.js, a software suite dedicated to IoT applications development.
Hop.js was presented at SophiaConf, the annual conference dedicated to open source technologies, on July 4, 2017.
An article proposing a method of designing variable structure control systems for robots is accepted at the journal of Robotics and Autonomous Systems!
A paper that shows how we can exploit the familiar notion of type abstraction to support expressive declassification policies in a simpler, yet expressive manner, is accepted at ECOOP 2017!
This week we are excited to announce a new privacy-awareness raising project, which is a result of our collaboration with Privatics team. We demonstrate how websites can detect two aspects of your online behavior:
Check out whether your browser is trackable at http://extensions.inria.fr and read more in a blog post by Gábor Gulyás, a postdoc from Privatics.
A paper that shows how the Content Security Policy (CSP), a mechanism designed to mitigate popular web vulnerabilities, can be violated due to the Same Origin Policy (SOP) got accepted at WWW 2017:
In April 2017, together with researchers from Telefonica, Princeton and Stony Brook we organise a Dagstuhl Seminar on Online Privacy and Web Transparency at Schloss Dagstuhl.
This Dagstuhl Seminar will create an interdisciplinary discussion forum between privacy researchers, policy makers and companies with the goal to to identify key technical challenges, and propose solutions on how to protect user privacy and how to increase transparency on the Web.
More details on the seminar can be found here.
A small article that characterizes causal functions on events, i.e. whose produced events before a given time depend only on the events received before that time.
A paper that states the need for a new quantitative information flow measure in case of dynamic program analysis is accepted to the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS’16):
