Towards fully automatic placement of security sanitizers and declassifiers

DOI10.1145/2429069.2429115MaRDI QIDQ2931814zbMATH OpenOpenAlexFDO

Authors Benjamin Livshits, Stephen Chong

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL http://nrs.harvard.edu/urn-3:HUL.InstRepos:29003506

zbMATH Keywords

security analysisvulnerability prevention

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of operating systems (68N25)

Recommendations

• Automating security mediation placement
• Attacker control and impact for confidentiality and integrity
• Securing a compiler transformation
• A type system for robust declassification
• Using security policies to write secure software

Cited in

(2)

• Program synthesis for interactive-security systems
• Automating security mediation placement

This page was built for publication: Towards fully automatic placement of security sanitizers and declassifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931814)