Skip to content
@dedis

Decentralized and Distributed Systems Research Lab at EPFL

README.md

Hi 👋

DEDIS is the research laboratory of Prof. Bryan Ford, located at EPFL in Lausanne, Switzerland.

🚀 We build fast, scalable, and decentralized distributed protocols.

🎯 Our research topics span across blockchain technologies, zero-trust applications, decentralized financial systems, and secure and privacy-preserving technologies.

🧑‍💻 Core and on-going DEDIS projects can be found in the dedis GitHub org.

🧑‍🎓 Past student projects can be found in the dedis-students GitHub org.

Pinned Loading

  1. dela dela Public

    DEDIS Ledger Architecture

    Go 19 13

  2. kyber kyber Public

    Advanced crypto library for the Go language

    Go 703 179

  3. d-voting d-voting Public

    📧 E-Voting platform based on the Dela blockchain

    Go 23 7

  4. cothority cothority Public

    Scalable collective authority

    Go 430 102

  5. quepaxa quepaxa Public

    This is the code repository for QuePaxa project (formerly Raxos or QSCOD)

    Go 69 6

  6. prifi prifi Public archive

    PriFi, a low-latency, local-area anonymous communication network.

    Go 52 8

Repositories

Showing 10 of 123 repositories
  • gd-pure Public

    Grounded deduction atop Isabelle/Pure

    dedis/gd-pure's past year of commit activity
    Isabelle 4 3 5 1 Updated Sep 7, 2026
  • terraform-provider-libvirt Public Forked from dmacvicar/terraform-provider-libvirt

    Terraform provider to provision infrastructure with Linux's KVM using libvirt

    dedis/terraform-provider-libvirt's past year of commit activity
    Go 0 536 0 3 Updated Sep 2, 2026
  • matchertext Public

    Work-in-progress paper and experimental code on matchertext embeddable syntax discipline

    dedis/matchertext's past year of commit activity
    Python 13 1 3 1 Updated Aug 24, 2026
  • matchertext-sqlite Public

    A sqlite driver implementing Matchertext as an injection attack prevention mechanism.

    dedis/matchertext-sqlite's past year of commit activity
    C 0 0 0 0 Updated Aug 18, 2026
  • ansible-prometheus Public Forked from mesaguy/ansible-prometheus

    Ansible role for the management of Prometheus software and Prometheus exporters

    dedis/ansible-prometheus's past year of commit activity
    Ruby 0 MIT 30 0 0 Updated Aug 10, 2026
  • github-action-cla Public Forked from contributor-assistant/github-action

    CLA Assistant GitHub Action

    dedis/github-action-cla's past year of commit activity
    TypeScript 0 Apache-2.0 149 0 2 Updated Aug 8, 2026
  • kyber Public

    Advanced crypto library for the Go language

    dedis/kyber's past year of commit activity
    Go 703 179 21 (9 issues need help) 11 Updated Jun 22, 2026
  • quepaxa Public

    This is the code repository for QuePaxa project (formerly Raxos or QSCOD)

    dedis/quepaxa's past year of commit activity
    Go 69 BSD-3-Clause 6 0 1 Updated Apr 12, 2026
  • votegral Public

    End-to-End Verifiable, Coercion-Resistant Online Voting System w/ In-Person Registration

    dedis/votegral's past year of commit activity
    Go 3 1 0 1 Updated Mar 22, 2026
  • .github Public
    dedis/.github's past year of commit activity
    0 2 0 0 Updated Mar 22, 2026
View all repositories