• Automated Penetration Testing for PHP Web Applications 

      Zhu, Zixiang
      Penetration Testing emerged in the mid-1960s as an approach to exploit vulnerabilities of possible attacks of a software application by nefarious users. Traditional penetration testing is done manually, which is not only ...
    • Finding Kernels in Non-Linear Data-Driven CHC Solving 

      Eden, Michael
      Program verification has seen a lot of progress, but its still unable to automatically find proofs for industry programs. This paper builds on data-driven approaches from previous work [11] to provide a more robust automatic ...