Ada cryptography work