Netanel Rubin Blaier
Security researcher who published formal verification research at Certora, including the 2023 discovery of a rounding error in the signed multiply-divide function of the PRBMath fixed-point library.
Security researcher who published formal verification research at Certora, including the 2023 discovery of a rounding error in the signed multiply-divide function of the PRBMath fixed-point library.