@AdaCore Cambridgeshire, UK
Daniel King
SHA-3 and other Keccak related algorithms in SPARK/Ada.
damaki