Hadi Soleimany

Latest

• Framework for faster key search using related-key higher-order differential properties: applications to Agrasta