A type system for robust declassification

DOI10.1016/S1571-0661(03)50014-7zbMath1337.68078MaRDI QIDQ276494

Steve Zdancewic

Publication date: 3 May 2016

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Survey on JavaScript security policies and their enforcement mechanisms in a web browser

This page was built for publication: A type system for robust declassification