First Reading Group
Please be reminded that our first reading group session will take please the coming Monday. We will discuss sections 1 to 5 of the paper “Hyperproperties” and also aspects of the motivating blog post “Meltdown, Spectre, and why hardware can be correct yet insecure“ linked below. Please prepare a list of questions and ideas you would like to discuss.
Your Hyperproperties Team