|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan |
Parametric Verification of Address Space Separation.  |
POST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan |
FAWN: a fast array of wimpy nodes. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar |
On Adversary Models and Compositional Security. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Jason Franklin, Michael A. Kozuch, Iulian Moraru, Padmanabhan Pillai, Lawrence Tan |
Challenges and opportunities for efficient computing with FAWN. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta |
Compositional System Security with Interface-Confined Adversaries. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri |
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification |
| 1 | Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, Iulian Moraru |
Energy-efficient cluster computing with FAWN: workloads and implications. |
e-Energy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
A Logic of Secure Systems and its Application to Trusted Computing. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan |
FAWN: a fast array of wimpy nodes. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
performance, design, energy efficiency, measurement, cluster computing, flash |
| 1 | Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru |
FAWNdamentally Power-efficient Clusters. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn |
Towards Sound Detection of Virtual Machines. |
Botnet Detection |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin |
Compatibility Is Not Transparency: VMM Detection Myths and Realities. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage |
An inquiry into the nature and causes of the wealth of internet miscreants. |
ACM Conference on Computer and Communications Security |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Newsome, David Brumley, Jason Franklin, Dawn Xiaodong Song |
Replayer: automatic protocol replay by binary analysis. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
application protocol replay, weakest pre-condition |
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")