We propose a rigorous comparison of information flow monitors with respect to two
dimensions: soundness and transparency. For soundness, we notice that the standard …

Runtime enforcement is a verification/validation technique aiming at correcting possibly
incorrect executions of a system of interest. In this paper, we consider enforcement …

We present a system model, an enforcement mechanism, and a policy language for the
proactive enforcement of timed provisions and obligations. Our approach improves upon …

It is more expensive and time consuming to build modern software without extensive supply
chains. Supply chains decrease these development risks, but typically at the cost of …

Securing social networks and ensuring the privacy of participants has become a crucial
need. There are no books to date that address both social network analytics as well as …

We present a new conceptual model of disruptive innovation and apply it to distributed
ledger technology. Our analysis illustrates the new features of this technology and why there …

Secondary use of personal information is of essential importance for the Internet of Things.
The main application is resilience. Biometrics is an example for support of resilience in times …

Characterizing the security policies enforceable by run-time monitors has received great
attention in recent years. The research, however, has been limited to the monitors having no …

The design and implementation of the first fully automated Adobe Flash binary code
transformation system that can guard major Flash vulnerability categories without modifying …

The Web services orchestration is a useful and complicated approach to integrate
heterogeneous systems. To verify the conformance of the orchestrated Web service against …