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

Article Details
Title:	Strong Non-Interference and Type-Directed Higher-Order Masking
Article URLs:	https://doi.org/10.1145/2976749.2978427
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:

ACM Computer and Communications Security, CCS 2016