Tools for Dan Boneh's Coursera crypto class