yet another technical blog

Home

Reverse engineering

  • Analysis of Wirenet
  • Software engineering

  • On software, engineering and reliability
  • Vulnerability research

  • Notes on CVE-2017-2464
  • Logic

  • On logic, formal verification and decision procedures - Part I
  • Math

  • On logic, formal verification and decision procedures - Part I
  • Kernel linux

  • Brad Spengler on copy_*_user()