Attackers can steal sensitive user information from web pages via third-party scripts. Prior
work shows that secure multi-execution (SME) with declassification is useful for mitigating …

We introduce a framework for reasoning about the security of computer systems using modal
logic. This framework is sufficiently expressive to capture a variety of known security …

It is common for reactive systems like web services to collect personal information and/or
perform sensitive tasks, making information flow control (IFC) in these applications …

Information Flow Control (IFC) in dynamic contexts is challenging due to different
interpretations of security that arise. This paper introduces a modular framework to address …

Prior work has established that the attacker should not be allowed to influence what is
declassified or when declassification occurs. Meanwhile, other work looks at protecting …

ABSTRACT In Information Flow Control (IFC) expressiveness, ie being able to model
multiple scenarios, is a crucial aspect, especially in the context of dynamically evolving …