Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI