Current app stores distribute some malware to unsuspecting users, even though the app
approval process may be costly and time-consuming. High-integrity app stores must provide …

Industries and governments are increasingly compelled by regulations and public pressure
to handle sensitive information responsibly. Regulatory requirements and user expectations …

PikeOS is an industrial operating system for safety and security critical applications in, for
example, avionics and automotive contexts. A consortium of several European partners from …

The paper studies dynamic information flow security policies in an automaton-based model.
Two semantic interpretations of such policies are developed, both of which generalize the …

Noninterference is a property that captures confidentiality of actions executed by a given
process. However, the property is hard to guarantee in realistic scenarios. We show that the …

The paper considers several definitions of information flow security for intransitive policies
from the point of view of the complexity of verifying whether a finite-state system is secure …

Information security problems typically involve decision makers who choose and adjust their
behaviors in the interaction with each other in order to achieve their goals. Consequently …

The Shadow Semantics [47, 48, 50] models secure refinement, ie preservation of privacy
under adversarial inference attacks. Previous work has given a structural (affirmative) …

Security of information flow is commonly understood as preventing any information leakage,
regardless of how grave or harmless consequences the leakage can have. In this work, we …

The literature on information flow security with respect to transitive policies has been
concentrated largely on the case of policies with two security domains, High and Low …