1 | -- | 17 | Mathieu Carbone, Yannick Teglia, Gilles R. Ducharme, Philippe Maurine. Mutual information analysis: higher-order statistical moments, efficiency and efficacy |
19 | -- | 20 | Sylvain Guilley. Editorial about PROOFS 2015 |
21 | -- | 34 | Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet, Said El Hajji. Trust can be misplaced |
35 | -- | 46 | Shoei Nashimoto, Naofumi Homma, Yu-ichi Hayashi, Junko Takahashi, Hitoshi Fuji, Takafumi Aoki. Buffer overflow attack with multiple fault injection and a proven countermeasure |
47 | -- | 61 | Bruno Robisson, Michel Agoyan, Patrick Soquet, Sébastien Le Henaff, Franck Wajsbürt, Pirouz Bazargan-Sabet, Guillaume Phan. Smart security management in secure devices |
63 | -- | 74 | Florian Lugou, Ludovic Apvrille, Aurélien Francillon. SMASHUP: a toolchain for unified verification of hardware/software co-designs |
75 | -- | 85 | Sabine Azzi, Bruno Barras, Maria Christofi, David Vigilant. Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification |
87 | -- | 95 | Laurent Sauvage, Tarik Graba, Thibault Porteboeuf. Multi-level formal verification - A new approach against fault injection attack |