REBECCA is a tool for the formal verification of masked cryptographic hardware implementations that, given the netlist of a masked hardware circuit, determines if a correct separation between share…

Kernel Address Isolation to have Side-channels Efficiently Removed

ProcHarvester - Fully Automated Analysis of Procfs Side-Channel Leaks on Android

Deep Learning for humans

Instrument Cluster Simulator

Library for elliptic curves cryptography

A very small ECC implementation for 8-bit microcontrollers

A boot record parser that identifies known good signatures for MBR, VBR and IPL.

Machine Learning for Computer Security

Simple implementation of the RSA algorithm

ultra fast iptv-attack

Secure AES128 Encryption Implementation for ATmega8515

Whitebox AES implementation in C++. Chow, Karroumi.