GitHub repository: GaloisInc/AES-GCM-SIV-proof
Primary language: Makefile
Created: 2018-02-15T18:42:41Z
Description: Proof of correctness for AES GCM SIV