Until recent years, labeling algorithms for GPUs have been iterative. This was a major problem because the computation time depended on the content of the image. The number of iterations to reach the stability of labels propagation could be very high. In the last years, new direct labeling algorithms have been proposed. They add some extra tests to avoid memory accesses and serialization due to atomic instructions. This article presents two new algorithms, one for labeling (CCL) and one for analysis (CCA). These algorithms use a new data structure combined with low-level intrinsics to leverage the architecture. The connected component analysis algorithm can efficiently compute features like bounding rectangles or statistical moments. A benchmark on a Jetson TX2 shows that the labeling algorithm is from 1.8 up to 2.7 times faster than the State-of-the-Art and can reach a processing rate of 200 fps for a resolution of 2048×2048.

Masking is a popular countermeasure against side-channel attacks, which randomizes secret data with random and uniform variables called masks. At software level, masking is usually added in the source code and its effectiveness needs to be verified. In this paper, we propose a symbolic method to verify side-channel robustness of masked programs. The analysis is performed at the assembly level since compilation and optimisations may alter the added protections. Our proposed method aims to verify that intermediate computations are statistically independent from secret variables using defined distribution inference rules. We verify the first round of a masked AES in 22s and show that some secure algorithms or source codes are not leakage-free in their assembly implementations.

No abstract

Le noisetier d'Afrique, Coula edulis Baill. Olacaceae, est un arbre des forêts denses humides africaines. Il produit des graines d'une grande valeur nutritive qui sont régulièrement récoltées et commercialisées par les populations d'Afrique centrale et de l'Ouest. Cependant, le manque d'informations relatives aux techniques de multiplication de l'espèce est la principale contrainte à sa domestication et à son intégration dans les systèmes agroforestiers locaux. L'étude, conduite parallèlement en pépinière et en milieu naturel, vise à mieux caractériser la germination de C. edulis et à déterminer ses aptitudes au marcottage aérien. Les résultats obtenus indiquent que la germination de C. edulis est très lente et échelonnée avec des taux de levée très faibles, voire nuls. De plus, les prétraitements appliqués aux graines se sont révélés inefficaces pour améliorer la vitesse et le taux de levée des semences. En revanche, le marcottage aérien permet de produire des plants de C. edulis d'une vigueur bien supérieure et dans un délai plus court que les semis en pépinière. Les résultats préliminaires du marcottage aérien sont prometteurs et ouvrent des perspectives intéressantes pour la multiplication et la domestication de l'espèce. L'intégration de Coula edulis dans les systèmes agroforestiers des plants issus du marcottage aérien est donc envisageable.