@INPROCEEDINGS {
	AUTHOR = "Raimil Cruz and {\'E}ric Tanter",
	TITLE = "Existential Types for Relaxed Noninterference",
	BOOKTITLE = "17th Asian Symposium on Programming Languages and Systems (APLAS)",
	PAGES = "73-92",
	MONTH = "Dec",
	YEAR = "2019",
	ADDRESS = "Bali, Indonesia",
	PUBLISHER = "Springer International Publishing AG",
	SERIES ="LNCS",
	NUMBER = "11893",
	}