×

Towards fully automatic placement of security sanitizers and declassifiers. (English) Zbl 1301.68093

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 385-398 (2013).

MSC:

68N25 Theory of operating systems
68N20 Theory of compilers and interpreters
PDFBibTeX XMLCite
Full Text: DOI Link