Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions

Valentin Razmov, Daniel R. Simon. Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions. In 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA. pages 347-357, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.