6 papers:
ESOP-2010-AskarovM #classification #framework #semantics- A Semantic Framework for Declassification and Endorsement (AA, AM), pp. 64–84.
- ESOP-2008-KanekoK #classification #linear
- Linear Declassification (YK, NK), pp. 224–238.
- ESOP-2007-MantelR #classification #security #what
- Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.
- ESOP-2005-GiacobazziM #abstract interpretation #classification #modelling
- Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.
- ESOP-2005-TseZ #classification #design
- A Design for a Security-Typed Language with Certificate-Based Declassification (ST, SZ), pp. 279–294.
SCAM-2005-PowerH #classification #java #named #source code- Declassification: Transforming Java Programs to Remove Intermediate Classes (BP, GWH), pp. 183–192.
