codecrypt/doc/papers/2011_progress_report.pdf