Pinned Repositories
AC21-divprop-convexity
Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"
breaking-winning-challenges-of-whibox2019
circkit
A small framework for defining, constructing and manipulating computational circuits
FV-NFLlib
Library implementing the Fan-Vercauteren homomorphic encryption scheme
million-dollar-curve
poseidon
tightPROVE
tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations
Tornado
Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
whibox_contest_submission_server
Source code of the Whitebox Contest Submission Server
wyverse
White-box analytic framework based on LLVM
CryptoExperts's Repositories
CryptoExperts/million-dollar-curve
CryptoExperts/FV-NFLlib
Library implementing the Fan-Vercauteren homomorphic encryption scheme
CryptoExperts/wyverse
White-box analytic framework based on LLVM
CryptoExperts/whibox_contest_submission_server
Source code of the Whitebox Contest Submission Server
CryptoExperts/Tornado
Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model
CryptoExperts/breaking-winning-challenges-of-whibox2019
CryptoExperts/poseidon
CryptoExperts/AC21-divprop-convexity
Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"
CryptoExperts/circkit
A small framework for defining, constructing and manipulating computational circuits
CryptoExperts/tightPROVE
tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations
CryptoExperts/OBSCURE
CryptoExperts/bitslice-masking-multiplication
Source code of secure multiplications for bitslice higher-order masking (in ARMv7 assembly)
CryptoExperts/bpr-boolean-fhe
Supporting code for the paper "Optimized Homomorphic Evaluation of Boolean Functions" submitted to Eurocrypt 2024
CryptoExperts/EC21-dummy-shuffling
Supporting code for the EUROCRYPT 2021 paper "Dummy Shuffling against Algebraic Attacks in White-box Implementations"
CryptoExperts/IronMask
CryptoExperts/libmpcith
CryptoExperts/EC17-software-masking
Source code related to the Eurocrypt 2017 paper "How Fast Can Higher-Order Masking Be in Software?"
CryptoExperts/VRAPS
Verifier of Random Probing Security
CryptoExperts/high-order-ecc-implementation
high-order-ecc-implementation
CryptoExperts/poc-expanding-compiler
Proof-of-concept implementations of the expanding compiler (for random-probing security) and protected AES