Nataliia Bielova

Author's posts

Paper on Concurrent Reversible Sessions presented at CONCUR 2017

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): Concurrent Reversible Sessions. Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini

Indes team members launch a start-up to democratize software development for Internet of Things using Hop.js.

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

Hop.js was presented at SophiaConf, the annual conference dedicated to open source technologies, on July 4, 2017.

Article published in the journal of Robotics and Autonomous Systems

An article proposing a method of designing variable structure control systems for robots is accepted at the journal of Robotics and Autonomous Systems! Variable structure robot control systems: The RAPP approach. Cezary Zieliński, Maciej Stefańczyk, Tomasz Kornuta, Maksym Figat, Wojciech Dudek, Wojciech Szynkiewicz, Włodzimierz Kasprzak, Jan Figat, Marcin Szlenk, Tomasz Winiarskia Konrad Banachowicz, Teresa Zielińska, …

Continue reading

Paper on type abstraction for relaxed noninterference accepted at ECOOP 2017

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! Type Abstraction for Relaxed Noninterference. Raimil Cruz, Tamara Rezk, Bernard P. Serpette and Éric Tanter

How Websites Can Identify You By Your Browser Extensions and Web Logins?

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: What extensions you have installed. For example, if you block ads by AdBlock Plus or whether you are trying to protect …

Continue reading

Paper on CSP-SOP violations accepted at WWW 2017

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: On the Content Security Policy Violations due to the Same-Origin Policy Francis Some, Nataliia Bielova and Tamara Rezk

Our Dagstuhl Seminar on Online Privacy and Web Transparency is accepted!

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 …

Continue reading

Paper on causality accepted to JFLA’17

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. Causalité dans les calculs d’événements Bernard P. Serpette and David Janin

Paper on dynamic leakage accepted to PLAS’16

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): Dynamic leakage – a need for a new quantitative information flow measure Nataliia Bielova