wrld

alpha

my Internet corner

/notes
avatar

About

Tags

RSS

    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