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 …

With the wide variety of applications offered by Android, this system has been able to
dominate the smartphone market. These applications provide all kinds of features and …

The importance of information systems security in today's technology-driven world cannot be
overstated. Every organization, government, and business relies heavily on computer …

In this paper, we survey the problem of mobile security. Therefore, we introduce a formal
technique allowing the enforcement of security policy on this parallel system. The main idea …

A correct and a cheap enforcement of security policies on information systems is a major
problem for most of our institutions. In previous works, we introduced a program rewriting …

Résumé Autant les applications Android ont réussi à positionner Android parmi les
systèmes d'exploitation les plus utilisés, autant elles ont facilité aux créateurs de maliciels …

Recent research confirmed that program rewriting techniques are powerful mechanisms for
security enforcement, since they gather advantages of both static and dynamic approaches …

One of the important goals of the software development process is to verify that the produced
system always meets the predefined requirements. However, current testing approaches on …

A previous study showed how a monitor can be inlined into a potentially untrusted program,
producing an instrumented version of this program which provably respects the desired …

Program security enforcement is designed to ensure that a program respects a given
security policy, which generally specifies the acceptable executions of that. In general, the …