Exercise: Meltdown

Due: Wed, 30 May 2018 11:00:00 -0700

Read the Meltdown paper.

Question

Can formal verification prevent this bug? Briefly explain why or why not.

Question

Who do you think should be responsible for such attacks, the OS kernel, the CPU, applications, or something else?

What to submit

Write down your answers in a file named answers.txt, and upload it using Canvas.