A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Primary LanguageAdaISC LicenseISC