Principal at Symbolic Software, authors of comprehensive applied cryptography audits, publishers of fine cryptography engineering research software, and creators of excellent puzzle games.