Adding new case studies: http-digest, typical, and mod11