GitHub repository: r-mitchell-s/Cryptographic_Accelerator
Created: 2025-03-03T05:03:49Z
Description: Project underway for Harvard's CS2540 (Formal Methods in Computer Security), consisting of the design and functional verification of a TEA (Tiny Encryption Algorithm) accelerator. After functional verification, the hyperproperty of constant time will be enforced on the accelerator in order to safeguard the encryption against timing-based attacks.