Hyperproperties Bernd Finkbeiner


Meeting Next Week

Written: 12.12.2018 15:06 Written By: Jana Hofmann

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

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