Strong Non-Interference and Type-Directed Higher-Order Masking

Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, et al.. Strong Non-Interference and Type-Directed Higher-Order Masking. 23rd ACM Conference on Computer and Communications Security , Oct 2016, Vienne, Austria. pp.1

HAL Archives-Ouvertes, 06 Dec 2016

Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, et al..