Computers & Security · 2017 · 39 citations · 45 references
ComputingComputer EngineeringComputer ScienceSecurity ArchitectureControl-flow AnalysisData-flow AnalysisSoftware ArchitectureSoftware Quality AssuranceControl Flow Graph AnalysisControl Flow Integrity AnalysisControl-flow Integrity
45
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations
MiBench: A free, commercially representative embedded benchmark suite
Matthew R. Guthaus, Jeffrey Ringenberg, Daniel Ernst et al. · 2001 · 3.1K citations
The geometry of innocent flesh on the bone
Hovav Shacham · 2007 · 1.3K citations
Martı́n Abadi, Mihai Budiu, Úlfar Erlingsson et al. · 2005 · 1K citations
Smashing The Stack For Fun And Profit
A. One · Medical Entomology and Zoology · 1996 · 769 citations