Automatic verification of differential characteristics: application to reduced Gimli
scientific article; zbMATH DE number 7627822
scientific article