Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
An engineer’s path from data loss to software preservation
softwareheritage.org·2d
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·5d
Loading...Loading more...