A method of detecting and interrupting unauthorized, browser-based cryptomining is
proposed, based on semantic signature-matching. The approach addresses a new wave of …

Cryptography as a service is becoming extremely popular. It eases the way companies deal
with securing their information without having to worry about their customer's information …

This chapter describes how to use in-the-field runtime techniques to improve the
dependability of software systems. In particular, we first present an overall vision of the …

This paper proposes a formal framework for automatic security policy enforcement in
computer systems. In this approach, systems and their interactions are formally modeled as …

An information flow policy is termination-sensitive if it imposes that the termination behavior
of programs is not influenced by confidential input. Termination-sensitivity can be statically …

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

Run-time monitoring proves to be a successful mechanism for enforcing information flow
policies. The main challenge, however, is to achieve transparency which generally demands …