JITScope: Protecting web users from control-flow hijacking attacks | 0 | 0.34 | 2015 |
ASPIRE: Iterative Specification Synthesis for Security | 1 | 0.36 | 2015 |
VTint: Protecting Virtual Function Tables' Integrity. | 14 | 0.64 | 2015 |
Contextual Policy Enforcement in Android Applications with Permission Event Graphs. | 56 | 2.11 | 2013 |
WebPatrol: automated collection and replay of web-based malware scenarios | 13 | 0.78 | 2011 |
MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery | 32 | 1.05 | 2011 |
Differential Slicing: Identifying Causal Execution Differences for Security Applications | 34 | 1.05 | 2011 |