REMath

literature_review

Survey of program analysis research with a focus on machine code

implementations

Implementations of program analysis tools with a focus on machine code

mit_16.399

MIT's abstract interpretation class taught by Cousot

80211_Cryptography

Some experiments trying to understand the underlying crypto behind 802.11

binary_code_identification

Simple way to look up to 4 bytes and guess an instruction set architecture

datasets

dockerfiles

Docker Configurations