6 citations · 6 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2020
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Daniel W. Song, Konstantinos Mamouras, Ang Chen +2
Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has…
cs.CR2015★ 6 cited
Finding Tizen security bugs through whole-system static analysis
Daniel Song, Jisheng Zhao, Michael Burke +3
Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, and wearables. While Tizen provides kernel-level mandatory policy…