@aristot73 Maybe you want to add this one https://arxiv.org/abs/2606.00856 if you think it's valuable. @trailofbits @jamesberthoty @jackhcable @cigitalgem