Periodic Reporting for period 1 - HYPER (Logics and Algorithms for a Unified Theory of Hyperproperties)

The central role of information technology in all aspects of our private and professional lives has led to a fundamental change in the type of program properties we care about. Up to now, the focus has been on functional correctness; in the future, requirements that reflect...