cassiersg Goto Github PK

agema

Automated Generation of Masked Hardware

ascad-5minutes

An attack of the ASCAD dataset in 5 minutes

attic

Deduplicating backup program

bitslice-masking-multiplication

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

blis

BLAS-like Library Instantiation Software Framework

blis-src

Source of BLAS via BLIS

blis-sys2

Rust binding for BLIS

bosphorus

Bosphorus, ANF simplifier and ANF-to-CNF converter

chipwhisperer

ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks

chipwhisperer-vagrant

Vagrant stuff to build chipwhisperer virtualbox image

compress

Reducing Area and Latency of Masked Pipelined Circuits

compress_artifact

derive_more

Some more derive(Trait) options

elec-2103

Code for the project of the course ELEC2103

everest

fixedsizearrays.jl

Julia's generic FixedSizeArray implementation. Can be used for all kinds of Vector constructs

fullverif

fullVerif tool for verification of masked hardware implementations

gabe-robot

Automatically exported from code.google.com/p/gabe-robot

gemini

Gemini is a modern LaTex beamerposter theme 🖼

hytra

A beast that eats your data from many threads.

imbibed

IMpeccable BIBliographiEs with Dblp

index_vec

A Rust library offering newtyped indices and vecs that use those indices

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

jasmin

Language for high-assurance and high-speed cryptography

lapack-src

LAPACK source of choice

libflame

High-performance object-based library for DLA computations

libjade

Crypto library

linma1702-exercices

Exercices du cours LINMA1702 donné à l'EPL

lrpm-bounder

Target MI bound computation in the LRPM

matplotlib2tikz

A converter that takes a matplotlib figure and spits out a TikZ/PGFplots figure for smooth integration into LaTeX.