Grammar Flow Analysis (GFA) is a computation framework that can be applied to a large number of problems expressed on context-free grammars. In this framework, as was done on programs with Data Flow Analysis, those problems are split into a general resolution procedure and a set of speciic propagation functions. This paper presents a number of improvement techniques that act on the resolution p...

This work presents the first known implementation of elliptic curve cryptography for sensor networks, motivated by those networks’ need for an efficient, secure mechanism for shared cryptographic keys’ distribution and redistribution among nodes. Through instrumentation of UC Berkeley’s TinyOS, this work demonstrates that secret-key cryptography is already viable on the MICA2 mote. Through anal...

In this paper we present the self-stabilizing implementation of a class of token based algorithms. In the current work we only consider interactions between weak nodes. They are uniform, they do not have unique identifiers, are static and their interactions are restricted to a subset of nodes called neighbours. While interacting, a pair of neighbouring nodes may create mobile agents (that mater...