5 novembre 2018 : Ouverture du MOOC “Protection de la vie privée dans le monde numérique” – Session 2, par Cédric Laradoux, Vincent Roca (Privatics) et Nataliia Bielova (INDES) Lors de la session 2 (session augumentée) de ce MOOC, librement accessible sur la plateforme FUN du 5 novembre 2018 au 7 janvier 2019, nous aborderons …
We co-organized la séance “Méthodes formelles pour la sécurité” in the context of the Pré-GDR Sécurité. Paris, 30/5/18
L’édition 2018 de l’Atelier sur la Protection de la Vie Privée (APVP 2018) du GT “Protection de la vie privée” aura lieu du 3 au 6 juin 2018 à sur l’île de Porquerolles (proche de Hyères). Cette 9ème édition sera organisée par les équipes INDES et PRIVATICS d’Inria.
We organised the International Conference on the Art, Science, and Engineering of Programming (Programming 2018). It is a new conference focused on programming topics including the experience of programming. ‹Programming› 2018 is the second edition of the conference. The first edition took place in Brussels in April 2017. Papers are welcome from any part of …
Congratulations to Tamara Rezk for her successful HDR (Habilitation à Diriger ses Recherches) defense on April 3, 2018! This Habilitation summarises 10 years of work from 2007 to 2017 on the topic of secure programming. During the talk, Tamara described her work divided in 4 subdomains of secure programming: programs using cryptography, web security, privacy, …
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
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! 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, …
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 …
