Provable Security: How Feasible Is It?
.
2011. Provable Security: How Feasible Is It? 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Toward Practical and Unconditional Verification of Remote Computations
.
2011. Toward Practical and Unconditional Verification of Remote Computations. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
{MOMMIE} Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms
.
2011. {MOMMIE} Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
Exploiting {MISD} Performance Opportunities in Multi-core Systems
.
2011. Exploiting {MISD} Performance Opportunities in Multi-core Systems. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
More Intervention Now!
.
2011. More Intervention Now!. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
- Read more about More Intervention Now!
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
make world
.
2011. make world. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
- Read more about make world
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Privacy Revelations for Web and Mobile Apps
.
2011. Privacy Revelations for Web and Mobile Apps. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).