Notes on CVE-2017-2464

This is an attempt I made somewhere around April in 2019 at finding an already known vulnerability. More specifically, these are the note...

<?xml version="1.0" encoding="UTF-8"?> alpha https://shxdow.me</link> On logic, formal v...

[ { "title" : "On logic, formal verification and decision procedures - Part I", "url" : "/logic/", "content" : "This pos...