State-Recovery-of-LED-Permutation-in-the-CiliPadi-AEAD A software implementation (in C language) to recover the the full LED state using DFA in the CiliPadi AEAD Run: gcc main.c encrypt.c cilipadi.c led.c ./a.out