Meeting Next Week
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