Practical automated vulnerability monitoring using program state invariants
Safe and automatic live update for operating systems