Framework for faster key search using related‐key higher‐order differentialproperties: applications to Agrasta. (1st March 2020)