my Internet corner

Home

Reverse engineering

  • Analysis of Wirenet
  • Short

  • The inchworm theory
  • Brad Spengler on API to move data between user and kernel space
  • Start
  • Logic

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

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