Read the Meltdown paper.
Can formal verification prevent this bug? Briefly explain why or why not.
Who do you think should be responsible for such attacks, the OS kernel, the CPU, applications, or something else?
Write down your answers in a file named answers.txt, and upload it
using Canvas.