Tool for automated testing of cryptographic implementations using differential fuzzing to detect functional and security bugs 1 talk featuring this tool from 1 chapters.