2025.05.05 15:51:02 (Mastodon 114456019758487204, Twitter 1919419585754812817) from Daniel J. Bernstein:
Posted new paper "Symbolically executing emulators": https://cr.yp.to/papers.html#symexemu The tool is more efficient than Inception inside the Matrix, really! The paper also reviews how symbolic execution supports easy-to-use equivalence verification.