Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong…)
- 30 May 2017
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Lightweight verification of separate compilationPublished by Association for Computing Machinery (ACM) ,2016
- Building High Integrity Applications with SPARKPublished by Cambridge University Press (CUP) ,2015
- A new robust and efficient implementation of controlled types in the GNAT compilerPublished by Association for Computing Machinery (ACM) ,2012
- Formal verification of a realistic compilerCommunications of the ACM, 2009
- Volatiles are miscompiled, and what to do about itPublished by Association for Computing Machinery (ACM) ,2008
- The GNAT implementation of controlled typesPublished by Association for Computing Machinery (ACM) ,1995