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

Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini. Strong Non-Interference and Type-Directed Higher-Order Masking. In Edgar R. Weippl, Stefan Katzenbeisser 0001, Christopher Kruegel, Andrew C. Myers, Shai Halevi, editors, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016. pages 116-129, ACM, 2016. [doi]

Authors

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Sonia Belaïd

This author has not been identified. Look up 'Sonia Belaïd' in Google

François Dupressoir

This author has not been identified. Look up 'François Dupressoir' in Google

Pierre-Alain Fouque

This author has not been identified. Look up 'Pierre-Alain Fouque' in Google

Benjamin Grégoire

This author has not been identified. Look up 'Benjamin Grégoire' in Google

Pierre-Yves Strub

This author has not been identified. Look up 'Pierre-Yves Strub' in Google

Rébecca Zucchini

This author has not been identified. Look up 'Rébecca Zucchini' in Google