The intricate spatial and energy distribution of magnetic fields, self-generated during high
power laser irradiation (at I λ 2 ∼ 1 0 13 - 1 0 14 W . cm − 2 . μ m 2 ) of a solid target, and of the …

We propose a framework based on symbolic execution to identify automatically and consistently
the effects of fault injection on embedded software at assembly level, for C (compiled to …

In this paper, we present a paradigm for combined attacks on Java Cards that lowers the
requirements on the localization precision of the fault injection. The attack relies on educated …

The Byte Code Verifier (BCV) is one of the most important security element in the Java Card
environment. Indeed, embedded applets must be verified prior installation to prevent ill-…

In this paper, we present a domain-specific interface definition language (IDL) and its
compiler, dedicated to the development of pervasive computing applications. Our IDL provides …

The Byte Code Verifier (BCV) is one of the most important security element in the Java Card
environment. Indeed, embedded applets must be verified prior installation to prevent ill-…

Pervasive computing applications are tedious to develop because they combine a number
of problems ranging from device heterogeneity, to middleware constraints, to lack of …

Electrostatic (E) fields associated with the interaction of a well-controlled, high-power,
nanosecond laser pulse with an underdense plasma are diagnosed by proton radiography. Using …

The energy transfer from a long ( 3.5 ps ) pump pulse to a short ( 400 fs ) seed pulse due to
stimulated Brillouin backscattering in the strong-coupling regime is investigated. The two …

WS-agreement offers a general language and protocol to establish agreements between
two parties. In principle, this generality enables a wide variety of domains to be covered. Yet, …