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 is missing.