Antoine GRIMAULT
Report on Huffman compression from PEIP 1
Report on the limits of brute-force attacks, and Z3 solver
