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

By Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Gr'egoire, Pierre-Yves Strub, Rébecca Zucchini. Conference on Computer and Communications Security, 2016

308 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Signal Processing

View Paper: https://www.semanticscholar.org/paper/db8dde0e4a400503b3164c5448049072c5d9d318