@INPROCEEDINGS {
	AUTHOR = "Raimil Cruz and Tamara Rezk and Bernard Serpette and {\'E}ric Tanter",
	TITLE = "Type Abstraction for Relaxed Noninterference",
	BOOKTITLE = "31st European Conference on Object-Oriented Programming (ECOOP)",
	PAGES = "7:1-7:27",
	MONTH = "Jun",
	YEAR = "2017",
	ADDRESS = "Barcelona, Spain",
	PUBLISHER = "Springer-Verlag",
	SERIES ="Lecture Notes in Computer Science",
	}