@INPROCEEDINGS {
	AUTHOR = "Raimil Cruz and {\'E}ric Tanter",
	TITLE = "Polymorphic Relaxed Noninterference",
	BOOKTITLE = "4th IEEE Secure Development Conference (SecDev)",
	PAGES = "101-113",
	MONTH = "Sep",
	YEAR = "2019",
	ADDRESS = "McLean, VA, USA",
	PUBLISHER = "IEEE Computer Society Press",
	}