3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…