Workshop on Decentralization and Messaging

17 January 2018

Computer Science faculty BC 420 - fourth floor of BC building (1015 Ecublens, Lausanne, CH).

The NEXTLEAP project aims to create and deploy communication and computation protocols that can serve as pillars for secure decentralization, a cornerstone in the development of messaging applications. The purpose of this workshop is to bring together the NEXTLEAP partners with experts on decentralization and distributed systems, as well as users of the NEXLEAP protocol to gather feedback about project developments.


Interactive talks: 9:30 - 12:30

[30 min talks – presenting and discussion]

  • Linus Gasser: "CISC : Managing Identities Using Blockchains and CoSi”
  • Holger Krekel & Azul: “Using ClaimChains to support OOB authentication: design and implementation”
  • Trevor Perrin: "The Noise Protocol Framework" (
  • George Danezis: "Loopix : Development challenges”
  • Kirill Nikitin: “CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds”
  • Harry Halpin: “High-risk users and developers: Usability study of secure messaging and decentralization” (if time allows)

Discussion Sessions: 13:30-17:00

  • Autocrypt/oob/claimchain design
  • Other sessions (cisc/autocrypt, mixnets/anonymity)

End of the workshop:

Finger food for the attendees.