Discover CryptoExperts/tightPROVE Open Source project

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Python
Created about 6 years ago
Updated over 4 years ago

CryptoExperts

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations

million-dollar-curve

Python

FV-NFLlib

Library implementing the Fan-Vercauteren homomorphic encryption scheme

C++

wyverse

White-box analytic framework based on LLVM

C++

whibox_contest_submission_server

Source code of the Whitebox Contest Submission Server

Python

Tornado

Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model

breaking-winning-challenges-of-whibox2019

poseidon

Sage

circkit

A small framework for defining, constructing and manipulating computational circuits

Python

AC21-divprop-convexity

Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"

Python

OBSCURE

IronMask

EC21-dummy-shuffling

Supporting code for the EUROCRYPT 2021 paper "Dummy Shuffling against Algebraic Attacks in White-box Implementations"

Python

bitslice-masking-multiplication

Source code of secure multiplications for bitslice higher-order masking (in ARMv7 assembly)

Assembly

libmpcith

bpr-boolean-fhe

Supporting code for the paper "Optimized Homomorphic Evaluation of Boolean Functions" submitted to Eurocrypt 2024

Rust

VRAPS

Verifier of Random Probing Security

Python

EC17-software-masking

Assembly

high-order-ecc-implementation

CryptoExperts/tightPROVE

CryptoExperts

Reviews

Repository Details

More Repositories