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

 

Show all
 

Hyperproperties

Traditionally, when speaking about properties of a system, we mean properties which refer to a single execution trace of the system. However, trace properties have limited expressivity as they do not allow us to compare several possible execution traces. Hyperproperties address this problem: Instead of referring to a single trace, they refer to sets of traces. As an example, information-flow policies, which are especially important in security-sensitive settings, are hyperproperties. A good introduction to what makes research on hyperproperties so important is this blog post.

In this seminar, we will have a look at state-of-the-art research on hyperproperties. This ranges from research on logics that describe hyperproperties, over verification algorithms, which that check whether a system satisfies a property, to practical applications such as (runtime) monitoring.

The talks within this seminar will be grouped according to what aspect in the study of hyperproperties the papers focus on. There will be three blocks, each block will start with a reading group session where we discuss exemplary papers to lay the foundation for the subsequent part of the seminar.

 

Important Dates

First Meeting: 22.10.2018, E1.1 Room 1.06, 10am

During our first meeting, we will schedule a convenient time for further (and regular) meetings.

 

Requirements

Reading Group: In the reading group sessions, we discuss exemplary papers that led to todays diverse research on hyperproperties. Each session starts with a 15-20 min presentation followed by a 60-75 min joint discussion. The list of papers for the reading group can be found here.

Talks: Each participant will give a talk on the paper that was assigned to her/him after the first meeting. The list of papers for the talks can be found here.

Summary: At the end of the seminar we would like you to submit a summary on the topic.



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