Hypercollecting semantics and its application to static analysis of information flow

Article Details
Title:	Hypercollecting semantics and its application to static analysis of information flow
Article URLs:	http://dl.acm.org/citation.cfm?id=3009889
Alternative Article URLs:
Authors:	Mounir Assaf	Stevens Institute of Technology
	David A. Naumann	Stevens Institute of Technology
	Julien Signoles	CEA List, Software Reliability and Security Lab
	Eric Totel	CentraleSupelec, CIDRE
	Frédéric Tronel	CentraleSupelec, CIDRE
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://arxiv.org/abs/1608.01654
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1228930
DBLP Key:	conf/popl/AssafNSTT17
Author Comments:

ACM Principles of Programming Languages, POPL 2017