activity
20142022
most citedLarge-Scale Analysis of Framework-Specific Exceptions in Android Apps

115 citations · 330 across the 22 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.SE2015★ 2 cited

Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication

Yongwang Zhao, David Sann, Fuyuan Zhang +1

Assurance of information flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for separation kernels, ARINC 653 ha…