Type Abstraction for Relaxed Noninterference. - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (ECOOP, 2017)

Type Abstraction for Relaxed Noninterference (Artifact). - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (Dagstuhl Artifacts Ser., 2017)

Existential Types for Relaxed Noninterference. - Raimil Cruz; Éric Tanter (APLAS, 2019)

Polymorphic Relaxed Noninterference. - Raimil Cruz; Éric Tanter (SecDev, 2019)