Audytor, który nie odpuszcza: jak agent AI dowodzi, że twój kod kryptograficzny jest bezpieczny
W 2024 roku luka w popularnej bibliotece kryptograficznej pozwoliła wykraść klucze prywatne z 14 tysięcy portfeli sprzętowych. Tradycyjne testy i audyty ręczne przeszły bez zarzutu. Problem leżał w matematycznej konstrukcji protokołu, której żaden tester nie…
