8000 Tags · GaloisInc/cryptol-specs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: GaloisInc/cryptol-specs

Tags

v2.1

Toggle v2.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Add verification scripts for aesIsCorrect (#294)

* Add verification scripts for aesIsCorrect

* performance improvement by keeping rotateR abstract

* aes: add readme for verification scripts

---------

Co-authored-by: Marcella Hastings <marcella@galois.com>

v2.0

Toggle v2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #284 from GaloisInc/separate-mode-tests

Separate mode-of-operation tests

v1.0

Toggle v1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #227 from GaloisInc/225-rearrange-sha3

Rearrange SHA3 directory
0