BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260502T011610Z
UID:Seminar-verification-688@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20191001T110000
DTEND:20191001T120000
SUMMARY:Verification Series
DESCRIPTION:Martin Zimmermann: HyperLTL: A Specification Language for Information-flow Properties\n\nHyperproperties, as introduced by Clarkson and Schneider, generalize trace properties, which are sets of traces, to sets of sets of traces.\nThe most prominent application of hyperproperties is information flow security: information flow policies characterize the secrecy and integrity of a system by comparing two or more execution traces, for example by comparing the observations made by an external observer on execution traces that result from different values of a secret variable. \nHyperLTL, the extension of LTL with trace quantifiers, has recently been introduced to specify hyperproperties. Time permitting, I will discuss four foundational aspects of HyperLTL: the expressiveness of HyperLTL, the satisfiability problem, the model-checking problem, and equivalent first-order logics for hyperproperties.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=688
LOCATION:
END:VEVENT
END:VCALENDAR