login Usenix Mag. · 2011 · 85 citations · 0 references
ComputingComputer ScienceComputer SystemsOperating SystemsProgramming LanguagesTheory Of ComputationComputational ModelsData-flow AnalysisDynamic ProgrammingRace Condition VulnerabilitiesSpeculative ExecutionVirtual MemoryBuffer Overflow AnalysisBuffer Overflow ControlBuffer Overflow ExploitationBuffer Overflow VulnerabilitiesBuffer Overflows