3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2021★ 3 cited
Vulnerability Analysis of the Android Kernel
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…
cs.CC2019★ 1 cited
Cluster Editing with Vertex Splitting
Faisal N. Abu-Khzam, Emmanuel Arrighi, Matthias Bentert +7
Cluster Editing, also known as Correlation Clustering, is a well-studied graph modification problem. In this problem, one is given a graph and the task is to perform up to edge…