Smart card applications often handle privacy-sensitive information, and therefore must obey
certain security policies. Typically, such policies are described as high-level security …

Renew (Rewriting Newly Executable pages after Writes) unites and extends recent
advances in binary code analysis and transformation to solve a longstanding compatibility …

Runtime monitors are a widely used approach to enforcing security policies. Truncation
monitors are based on the idea of truncating an execution before a violation occurs. Thus …

Deep neural networks (DNNs) are becoming widespread, and can often outperform
manually-created systems. However, these networks are typically opaque to humans, and …

Program monitoring is a well-established and efficient approach to security policy
enforcement. An implementation of program monitoring that is particularly appealing for …

Runtime enforcement is a powerful technique to ensure that a program will respect a given
security policy. We extend previous works on this topic in several directions. Firstly, we …

In this article, we introduce the model of finite state probabilistic monitors (FPM), which are
finite state automata on infinite strings that have probabilistic transitions and an absorbing …

This paper addresses the problem of runtime verification from a foundational perspective,
answering questions like “Is there a consensus among the various definitions of a safety …

Runtime monitoring is an increasingly popular method to ensure the safe execution of
untrusted codes. Monitors observe and transform the execution of these codes, responding …

Cloud computing is a major emerging technology that is significantly changing industrial
computing paradigms and business practices. However, security and privacy concerns have …