Hyperproperties Bernd Finkbeiner

News

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

 

 

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