A paper that shows how we can exploit the familiar notion of type abstraction to support expressive declassification policies in a simpler, yet expressive manner, is accepted at ECOOP 2017!
- Type Abstraction for Relaxed Noninterference.
Raimil Cruz, Tamara Rezk, Bernard P. Serpette and Éric Tanter