Practical automated vulnerability monitoring using program state invariants (2013)

Content Provider	CiteSeerX
Author	Giuffrida, Cristiano Cavallaro, Lorenzo Tanenbaum, Andrew S.
Description	In Proc. of the Int’l Conf. on Dependable Systems and Networks
File Format	PDF
Language	English
Publisher Date	2013-01-01
Access Restriction	Open
Subject Keyword	Memory Corruption Extensive Static Analysis Many Memory Error Automated Security Vulnerability Monitoring Low Overhead Compile Time Dynamic Analysis Several Class Present Rcore Program State Security Vulnerability Security Concern Code Verification Tool Exploitable Dangerous Behavior Index Program State Invariant Novel Dynamic Analysis Efficient Dynamic Program Monitoring Infrastructure Production Application Experimental Evaluation Confirms Production Run Program State Invariant Psi Violation Plague Production Application Vulnerability Monitoring Suspicious Behavior Idle Core
Content Type	Text
Resource Type	Article