AWS Encryption SDK for Dafny
Securely generate passwords using UTF16 and Random.org
A little tool to play with Windows security
RFC3161 compatible Time Stamping Authority
simple and light-weight archive password cracker
Use an rtl2832 USB dongle to generate random data for the linux kernel
Java code that enables you to sign documents using a smart card.