Skip to content
Change the repository type filter

All

    Repositories list

    • IronMask

      Public
      C
      2610Updated Sep 13, 2024Sep 13, 2024
    • Source code of the Whitebox Contest Submission Server
      Python
      GNU General Public License v3.0
      73500Updated Aug 5, 2024Aug 5, 2024
    • circkit

      Public
      A small framework for defining, constructing and manipulating computational circuits
      Python
      MIT License
      21003Updated Jun 14, 2024Jun 14, 2024
    • OBSCURE

      Public
      C
      MIT License
      0700Updated Jan 22, 2024Jan 22, 2024
    • libmpcith

      Public
      C
      Apache License 2.0
      1400Updated Nov 8, 2023Nov 8, 2023
    • Supporting code for the paper "Optimized Homomorphic Evaluation of Boolean Functions" submitted to Eurocrypt 2024
      Rust
      BSD 3-Clause "New" or "Revised" License
      1400Updated Oct 13, 2023Oct 13, 2023
    • poseidon

      Public
      Sage
      Apache License 2.0
      31100Updated Oct 4, 2023Oct 4, 2023
    • high-order-ecc-implementation
      C
      0100Updated Oct 14, 2022Oct 14, 2022
    • Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"
      Python
      MIT License
      01000Updated Jul 4, 2022Jul 4, 2022
    • Supporting code for the EUROCRYPT 2021 paper "Dummy Shuffling against Algebraic Attacks in White-box Implementations"
      Python
      GNU General Public License v3.0
      0600Updated Oct 18, 2021Oct 18, 2021
    • Source code related to the Eurocrypt 2017 paper "How Fast Can Higher-Order Masking Be in Software?"
      Assembly
      1300Updated Sep 16, 2021Sep 16, 2021
    • VRAPS

      Public
      Verifier of Random Probing Security
      Python
      0200Updated May 28, 2021May 28, 2021
    • Tornado

      Public
      Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
      C
      31821Updated Mar 14, 2021Mar 14, 2021
    • C
      01400Updated Sep 7, 2020Sep 7, 2020
    • Proof-of-concept implementations of the expanding compiler (for random-probing security) and protected AES
      C
      0000Updated Jul 2, 2020Jul 2, 2020
    • tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations
      Python
      4801Updated May 26, 2020May 26, 2020
    • wyverse

      Public
      White-box analytic framework based on LLVM
      C++
      GNU General Public License v3.0
      43900Updated Jun 10, 2019Jun 10, 2019
    • Source code of secure multiplications for bitslice higher-order masking (in ARMv7 assembly)
      Assembly
      GNU General Public License v3.0
      5600Updated Jul 26, 2018Jul 26, 2018
    • FV-NFLlib

      Public
      Library implementing the Fan-Vercauteren homomorphic encryption scheme
      C++
      GNU General Public License v3.0
      225920Updated Jul 26, 2016Jul 26, 2016
    • Python
      GNU General Public License v3.0
      98700Updated Feb 17, 2016Feb 17, 2016