AWS Encryption SDK for Dafny
UFONet - Denial of Service Toolkit
The safest way to store private data in untrusted (cloud) environments
Modular Polynom manipulation in Java
Crypt encryption and decryption is based on ASCII Table Shift.
Java native access for pc/sc, pkcs11, openct based on JNA
CryptoDock is a tool that hosts various crypto. algorithms.
File Encoder And Decoder