3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Joseph R. Barr, Peter Shaw, Tyler Thatcher
We describe a workflow used to analyze the source code of the {\sc Android OS kernel} and rate for a particular kind of bugginess that exposes a program to hacking. The workflow re…