cryptol-specs/Primitive/Symmetric/Cipher/Authenticated at master · GaloisInc/cryptol-specs · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
Instantiations		Instantiations
Tests		Tests
AES_256_GCM.cry		AES_256_GCM.cry
AES_GCM_SIV.cry		AES_GCM_SIV.cry
ChaChaPolyCryptolIETF.md		ChaChaPolyCryptolIETF.md
GCM.cry		GCM.cry
MEE_CBC.cry		MEE_CBC.cry
README.md		README.md
SIV_rfc5297.md		SIV_rfc5297.md

README.md

Symmetric authenticated ciphers, providing both confidentiality and integrity.