ACM Computer and Communications Security, CCS 2016


Article Details
Title: Strong Non-Interference and Type-Directed Higher-Order Masking
Article URLs:
Alternative Article URLs:
Authors: Gilles Barthe
  • IMDEA Software Institute
Sonia Belaïd
  • Thales Communications & Security
François Dupressoir
  • IMDEA Software Institute
Pierre-Alain Fouque
  • Université de Rennes 1
Benjamin Grégoire
  • Inria Sophia-Antipolis – Méditerranée
Pierre-Yves Strub
  • IMDEA Software Institute
Rébecca Zucchini
  • Inria Sophia-Antipolis – Méditerranée
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/ccs/BartheBDFGSZ16
Author Comments:

Discuss this paper and its artifacts below