alpha
yet another technical blog
About
Tags
RSS
Home
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...
© alpha