i dont know if he says exactly that by i do say exactly that paper is essentially saying that by using simplest machine possible we prove it does not provide

i dont know if he says exactly that by i do say exactly that paper is essentially saying that by using simplest machine possible we prove it does not provide layers of security abstractions which were invented and deployed in last 40+ years to computers so thats like getting CVE for turning off ASLR, AppARMOR SElinux etc in linux kernel.