Hyperproperties Bernd Finkbeiner

News



19.03.2019

Final Grade

Dear Students,

Your final grade is now visible on your status page. Thank you all for participating in our seminar; we hope to see you again in one of our lectures.

Your Hyperproperties Team

28.01.2019

Summary

Dear Students,

As discussed today, we ask you to write a summary of your talk and the seminar. The submission deadline is 11.03.2019. If you want to receive feedback on your summary, please upload a draft until 25.02.2019. More detail on the summary can be found ... Read more

Dear Students,

As discussed today, we ask you to write a summary of your talk and the seminar. The submission deadline is 11.03.2019. If you want to receive feedback on your summary, please upload a draft until 25.02.2019. More detail on the summary can be found here.

Your Hyperproperties Team

21.01.2019

Concluding Discussion

Dear Students,

Next week, we have our final session, in which we will discuss the different approaches to hyperproperties we saw in this seminar. We will ask you to come up with use cases and scenarios in which hyperproperties play a crucial role. We will then... Read more

Dear Students,

Next week, we have our final session, in which we will discuss the different approaches to hyperproperties we saw in this seminar. We will ask you to come up with use cases and scenarios in which hyperproperties play a crucial role. We will then discuss what kind of properties one would have to check in your scenarios and what verification techniques might be suitable.

We are looking forward to discussing your ideas and opinions!

 

Your Hyperproperties Team

12.12.2018

Meeting Next Week

Dear Students,

Because of a recent change of plans, it is my pleasure to announce that Hazem Torfah will give a talk on "Model-Checking Quantitative Hyperproperties" in the seminar meeting next week. The talk will be based on this paper.

This is instead of the... Read more

Dear Students,

Because of a recent change of plans, it is my pleasure to announce that Hazem Torfah will give a talk on "Model-Checking Quantitative Hyperproperties" in the seminar meeting next week. The talk will be based on this paper.

This is instead of the talk "Secure Information-Flow by Self-Composition" initially planned for next week.

Your Hyperproperties Team

09.11.2018

First Reading Group

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... Read more

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

30.10.2018

Paper and Reading Group Assignments

Dear Students,

The papers have now been assigned. Please refer to your personal status page for further information on your topic and advisor. We would kindly ask you to contact your advisor as soon as possible.

The reading groups will be moderated by those... Read more

Dear Students,

The papers have now been assigned. Please refer to your personal status page for further information on your topic and advisor. We would kindly ask you to contact your advisor as soon as possible.

The reading groups will be moderated by those students who will later give a talk in that group. Please refer to the reading group page to know who is responsible for which group. In case you need someone’s mail address to plan the discussion, please contact Jana Hofmann. The first reading group will be moderated by members of the Reactive Systems Group.

Your Hyperproperties Team

22.10.2018

Paper Preferences and Delayed Start of the Seminar

Dear Students,

The links to the papers for the talks and the reading groups are now online. Until Friday, 26.10.(23:59), you can indicate your paper preferences for the talks on your personal status page. Since a few people registered after the kickoff meeting,... Read more

Dear Students,

The links to the papers for the talks and the reading groups are now online. Until Friday, 26.10.(23:59), you can indicate your paper preferences for the talks on your personal status page. Since a few people registered after the kickoff meeting, we added some interesting papers. The assignments for the papers and the moderation of the reading groups will be announced next week.

Please also note that we will start with the introductory reading group one week later than announced during the kickoff meeting. The first meeting will therefore take place on the 12.11.. The introductory reading group on hyperproperties will be moderated by people from the Reactive Systems group.

Your Hyperproperties Team

 



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