05-05-2017 20h00
Researchers and Ph.D. students funded by the EC NEXTLEAP proposal will present their work in progress, including the unveiling of a platform to collectively discuss Internet Rights. Nadim Kobeissi (Inria) Formal verification of Signal using Proscript Carmela Troncoso (IMDEA) Claimchains for privacy-enhanced key management Ksenia Ermoshina (CNRS) Co-ordinating user and developer intentions in secure messaging Mooness Davarian (UCL/Greenhost) The Panoramix mix networking design Vincent Puig (IRI) Crowd-sourcing net rights Harry Halpin (Inria) The science of decentralization