Raimil Cruz, Éric Tanter: Polymorphic Relaxed Noninterference. SecDev 2019: 101-113