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

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 24, 2016
Source ID
10.1145/2976749.2978427

Entities

People

  • Benjamin Grégoire
  • François Dupressoir
  • Gilles Barthe
  • Pierre-alain Fouque
  • Pierre-yves Strub
  • Rébecca Zucchini
  • Sonia Belaïd

Organizations

  • Institut National de Recherche en Informatique et en Automatique
  • Instituto Madrileño de Estudios Avanzados
  • Office of Naval Research
  • University of Rennes 1
  • École normale supérieure Paris-Saclay