Practical Always-on Taint Tracking on Mobile Devices
.
2015. Practical Always-on Taint Tracking on Mobile Devices. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
{ASPIRE}: Iterative Specification Synthesis for Security
.
2015. {ASPIRE}: Iterative Specification Synthesis for Security. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
Lax: Driver Interfaces for Approximate Sensor Device Access
.
2015. Lax: Driver Interfaces for Approximate Sensor Device Access. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
The Case for Less Predictable Operating System Behavior
.
2015. The Case for Less Predictable Operating System Behavior. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts
.
2015. Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
Inferring the Network Latency Requirements of Cloud Tenants
.
2015. Inferring the Network Latency Requirements of Cloud Tenants. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
The Most Dangerous Code in the Browser
.
2015. The Most Dangerous Code in the Browser. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
The Activity Platform
.
2015. The Activity Platform. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
- Read more about The Activity Platform
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Specifying Crash Safety for Storage Systems
.
2015. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
Beyond Storage {APIs}: Provable Semantics for Storage Stacks
.
2015. Beyond Storage {APIs}: Provable Semantics for Storage Stacks. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).