Issue 1/2017
Special Section on PROOFS 2015 (pp 19-95)
Content (8 Articles)
Regular Paper
Mutual information analysis: higher-order statistical moments, efficiency and efficacy
Mathieu Carbone, Yannick Teglia, Gilles R. Ducharme, Philippe Maurine
Special Section on Proofs 2015
Trust can be misplaced
Noreddine El Janati El Idrissi, Guillaume Bouffard, Jean-Louis Lanet, Said El Hajji
Special Section on Proofs 2015
Buffer overflow attack with multiple fault injection and a proven countermeasure
Shoei Nashimoto, Naofumi Homma, Yu-ichi Hayashi, Junko Takahashi, Hitoshi Fuji, Takafumi Aoki
Special Section on Proofs 2015
Smart security management in secure devices
Bruno Robisson, Michel Agoyan, Patrick Soquet, Sébastien Le-Henaff, Franck Wajsbürt, Pirouz Bazargan-Sabet, Guillaume Phan
Special Section on Proofs 2015
SMASHUP: a toolchain for unified verification of hardware/software co-designs
Florian Lugou, Ludovic Apvrille, Aurélien Francillon
Special Section On Proofs 2015
Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification
Sabine Azzi, Bruno Barras, Maria Christofi, David Vigilant
Special Section on Proofs 2015
Multi-level formal verification
Laurent Sauvage, Tarik Graba, Thibault Porteboeuf