| Contextual Policy Enforcement in Android Applications with Permission Event Graphs. | 56 | 2.11 | 2013 |
| FreeMarket: Shopping for free in Android applications. | 6 | 0.72 | 2012 |
| MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery | 32 | 1.05 | 2011 |
