Meltdown, Spectre, and why hardware can be correct yet insecure

andrumyers.wordpress.com