techno-social and
Access and

In the wake of the Snowden revelations, public trust in the Internet has eroded.

NEXTLEAP aims to create, validate, and deploy communication and computation protocols that can serve as pillars for a secure, trust-worthy, annotable and privacy-respecting Internet that ensures citizens fundamental rights. For this purpose NEXTLEAP will develop an interdisciplinary internet science of decentralisation that provides the basis on which these protocols will be built.

Why does it matter?

Francesca Musiani

George Danezis

Carmela Troncoso

NEXTLEAP Team group photo.
Holger Krekel, Georges Danezis, Bruno Blanchet, Francesca Musiani, Carmela Troncoso, Karthikeyan Bhargavan, Marios Isaakidis and Harry Halpin (not the entire team).

Meet the NEXTLEAP team

NEXTLEAP combines expertise from across different disciplines in order to develop a set comprehensive answers to questions surrounding privacy and society. Our team is spread across Europe and includes specialists in computer science, formal protocol verification, sociology, social philosophy, cryptography and engineering.


The Political Significance of Cryptography

Although historically cryptography has been restricted to government and industrial use, there has recently, after revelations of mass surveillance by Snowden, been increased interest in securing the everyday communications of citizens: Applications such WhatsApp, Telegram, Silence,, Signal, and even PGP all claim to use end-to-end encrypted messaging to secure the content of communication. There has been discussion in France after the Bataclan attacks of banning end-to-end encryption, and in recent weeks, political parties have declared their desire to keep end-to-end encryption legal but have a backdoor or passwords available to the government. Rumors of hacking now dominate the news, and are claimed even influence elections. Given that cryptography has moved from an obscure branch of mathematical number theory to a real-world problem, the NEXTLEAP project is drawing together an interdisciplinary group of cryptographers, activists, and philosophers to discuss the political significance of cryptography.


2017 - Decrypting Algorithms

28.03.2017 14:00-17:00
What is "good encryption"? A pragmatic turn from a tool-centered to a user-centered approach
  • Ksenia Ermoshina (CNRS)
  • Francesca Musiani (CNRS)
  • Mykola Kostynyan (Digital security trainer and expert, ISCproject)
19.04.2017 18:30-20:00
Cryptography and Usability
18.05.2017 14:30-18:00
Decentralized systems and new urban territories
  • Bernard Stiegler - IRI
  • Franck Cormerais - Bordeaux-Montaigne University, Etudes Digitales
  • Julien Rossi - UTC
28.06.2017 15:00-18:00
Decentralized certification and blockchain systems
  • Christian Fauré (OCTO Technologies, Ars Industrialis)
  • Adli Takkal Bataille (La voie du Bitcoin)
  • Lyse Brillouet (Orange Labs)
  • André Reinald (PeerStorage, former Mozilla)
29.01.2018 18:00-20:00
What strategy for Alternative Internets?
  • Mélanie Dulong de Rosnay, Félix Tréguer (CNRS)
  • Francesca Musiani (CNRS), Vincent Puig and Giacomo Gilmozzi (IRI/Plaine Commune), Harry Halpin (INRIA)
  • Oriane Piquer-Louis (FFDN)
  • Pierre-Yves Grosset (Framasoft)
  • Philippe Aigrain (LQDN)
  • Renata Avila (W3 Foundation)
  • Tristan Nitot (Cozy Cloud)
  • Francesco Brancaccio (IRI, Chaire Plaine Commune)
from 09:30 to 19:00
Real Smart Cities and deliberative platforms
  • Bernard Stiegler (IRI)
  • Simona de Simoni (IRI)
  • Vincent Puig (IRI)
  • Olivier Landeau et Giacomo Gilmozzi (IRI)
  • Noel Fitzpatrick (Dublin Institute of Technology)
  • Arnaud de Champsavin (Octo technology)
  • Francesca Musiani (ISCC-CNRS)
  • Dr. Conor McGarrigle (DIT)
  • Chris Julien (Waag Society, Amsterdam)
  • Sara Baranzoni, Paolo Vignola and Olga Lopez (University of the Arts Guayaquil, Ecuador)
  • Tania Patrice Naidoo and Christopher Garde (Dublin City Council)
  • Ronan Belleguic, Maison de l’Emploi, Plaine Commune
  • Alain Vaucelle, Terrinum, Plaine Commune
from 01:00 to 03:00 PM
Can Protocols Enforce Human Rights via the IETF?
  • Hosted by George Danezis (Professor of Information Security at UCL)
  • Corinne Cath (University of Oxford, co-editor of RFC 8280)
  • Giacomo Gilmozzi (IRI du Centre Pompidou)
  • Harry Halpin (Inria, ex-W3C, co-ordinator of NEXTLEAP Project)
  • Mallory Knodel (Head of Digital at Article 19, co-chair of Human Rights Considerations for Protocol Research Group)
  • Niels Ten Oever (University of Amsterdam, co-founder of Human Rights Considerations for Protocol Research Group at the IRTF, co-editor of RFC 8280).
from 17:00 to 20:00
That There Is Counter-Information: Art, Cryptography and the Meta-Datification of Discourse
  • Jessika Khazrik (Artist and writer, The Society of False Witnesses)
  • Aram Bartholl (Artist – via online video)
  • Farah Khelil (Artist)
  • Valerie Cordy (Performer and Director of La Fabrique de Thêatre)
from 17:00 to 20:00
Intimacy & Extimacy
  • Bernard Stiegler (Institut de Recherche et d'Innovation)
  • Georges Teyssot (Université de Laval, Québec, QC, CA)
  • Isabelle Alfandary (Collège International de Philosophie)
  • Pascal Ruffenach (writer, autor of Never Say, Edition L’Iconoclaste)
from 17:00 to 20:00
Information & Entropy
  • Maël Montévil (IRI)
  • Clément Morlat (IRI)
  • David Bates, (Berkeley Un.)
  • Susanna Lindberg (Helsinki Collegium for Advanced Studies)
  • Bernard Stiegler (IRI)


#CryptoPartyCamp / Mains d'Oeuvres


Decentralization and Messaging

We are open source

Repositories of various deliverables worked on by NEXTLEAP are available as open source materials. Feel free to download, replicate, share, remix and provide us some feedbacks.

Consult our github repository


As part of bringing privacy-preserving end-to-end encryption to decentralized messaging, researchers and implementers in NEXTLEAP have co-founded and are participating in the new Autocrypt effort. It aims to leverage the email ecosystem, the largest federated identity and messaging network, and bring encryption to a wider audience than other failed efforts in the last 15 years.
In order to be decentralized, secure messaging requires an ability to discover key material and guarantee its integrity. Typically, today this is done via a single centralized and unstandardised service provider. In order to create an interoperable standard around secure messaging, key discovery needs to be decentralized. We've designed a new protocol, ClaimChain, that builds on both existing work on blockchains while adding new optimizations. We have both experimental Python code and a formally verified version of the code.
Net Rights
The goal of this part of the project is understand and popularize the emerging idea of net rights, as pioneered by the idea of a "magna carta" for the Web by Tim Berners-Lee. To achieve that aim, we set up a contributive categorization on Net Rights to collect previous contributions on Net Rights and related systems. Afterwards, we will in combination with an MOOC (online course), discuss the ethics these net rights with a global audience.
UnlimitID is a method for enhancing the privacy of commodity OAuth and applications such as OpenID Connect, using anonymous attribute-based credentials based on algebrai Message Authentication Codes (aMACs). OAuth is one of the most widely used protocols on the Web, but it exposes each of the requests of a user for data by each relying party (RP) to the identity provider (IdP). Our approach allows for the creation of multiple persistent and unlinkable pseudo-identities and requires no change in the deployed code of relying parties, only in identity providers and the client.
Developer and High-Risk User Studies
As secure messaging protocols face increasingly widespread deployment, differences between what developers believe about user needs and the actual needs of real-existing users could have an impact on the design of future technologies. Therefore, we are doing a detailed analysis of three projects and large-scale analysis of their users via interviews.


Wouter Lueks [EPFL]: Everything can be hacked! Or not?
Assen, The Netherlands / 22.05.2018
Workshop at the UCL University: Human rights and protocols
London, United Kingdom. / 23.03.2018
See events


INRIA EPFL CNRS IRI (Centre Pompidou) UCL Merlinux