|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 5 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
Caisson: a hardware description language for secure information flow.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.  |
ISCA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood |
Gate-Level Information-Flow Tracking for Secure Architectures.  |
IEEE Micro  |
2010 |
DBLP DOI BibTeX RDF |
covert channels, noninterference, high-assurance systems, timing channels, information-flow tracking |
| 1 | Xun Li 0001, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong |
Function flattening for lease-based, information-leak-free systems.  |
ASAP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Li 0001, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong |
A case for smartphone reuse to augment elementary school education.  |
Green Computing Conference  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Li 0001, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong |
Smartphone Evolution and Reuse: Establishing a More Sustainable Model.  |
ICPP Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood |
Execution leases: a hardware-supported mechanism for enforcing strong non-interference.  |
MICRO  |
2009 |
DBLP DOI BibTeX RDF |
gate level information flow tracking, covert channels, high assurance systems, timing channels |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|