A Design for a Security-Typed Language with Certificate-Based Declassification.

Stephen Tse, Steve Zdancewic

Browse the full ESOP paper archive.