Hyperproperties Bernd Finkbeiner

News

First Reading Group

Written: 09.11.2018 15:36 Written By: Jana Hofmann

Dear Students,

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



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators