Nics's repositories
binary_masking
Verification tool for binary masking schemes
aleth
Aleth – Ethereum C++ client, tools and libraries
bitoduc.fr
A website about french words for computer concepts.
cargo-ledger
Load code on a Ledger device with a `cargo` subcommand
chipwhisperer
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
cpython
The Python programming language
fflas-ffpack
FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
formats
Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX, SSH
ganache-cli
Fast Ethereum RPC client for testing and development
givaro
Givaro - C++ library for arithmetic and algebraic computations
iso7816-tlv
tools for handling TLV data as defined in ISO7816-4
lascar
Ledger's Advanced Side-Channel Analysis Repository
ledger-live-common
Common ground for the Ledger Wallet apps
ledger-nanos-sdk
Rust SDK for Ledger device applications
ledger-nanos-ui
UI gadgets for Rust Nano S applications, in Beta
linbox
LinBox - C++ library for exact, high-performance linear algebra
MLA
Multi Layer Archive - A pure rust encrypted and compressed archive file format
openzeppelin-test-helpers
JavaScript testing helpers for Ethereum smart contract development
pretix
Ticket shop application for conferences, festivals, concerts, tech events, shows, exhibitions, workshops, barcamps, etc.
slips
SatoshiLabs Improvement Proposals
slither
Static Analyzer for Solidity
tightPROVE
tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations
Waffle
Library for writing and testing smart contracts.