Bei HAVAL handelt es sich um eine Einweg-Hashfunktion. HAVAL wurde von Y. Zheng, J. Pieprzyk und J. Seberry aus MD5 entwickelt.
HAVAL arbeitet mit Ausgabewerten variabler Länge und mit variabler Rundenanzahl.