Jason Franklin

Computer Science · Physical Sciences

17h-index2.0kcitations31works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Malware Detection Techniques(14), Security and Verification in Computing(14), Cloud Computing and Resource Management(6), Network Security and Intrusion Detection(6), Advanced Data Storage Technologies(6)

Publications31 total

Roundtable: Does All Human-Rights Funding Use a Human Rights-based Approach?
2015
Parametric Verification of Address Space Separation (CMU-CyLab-12-001)
Figshare·2012· 1 citedOpen Access
Parametric Verification of Address Space Separation
Lecture notes in computer science·2012· 17 citedOpen Access
Abstractions for model checking system security
2012· 3 cited
FAWN
Communications of the ACM·2011· 47 cited
Challenges and opportunities for efficient computing with FAWN
ACM SIGOPS Operating Systems Review·2011· 5 cited
On Adversary Models and Compositional Security
IEEE Security & Privacy·2011· 22 cited
Compositional System Security with Interface-Confined Adversaries
Electronic Notes in Theoretical Computer Science·2010· 23 citedOpen Access
Energy-efficient cluster computing with FAWN
2010· 51 cited
Joint Use of Public Schools: Developing a New Social Contract for the Shared Use of Public Schools.
2010· 1 cited
Joint Use of Public Schools: A Framework for a New Social Contract
eScholarship (California Digital Library)·2010· 33 citedOpen Access
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
2010· 22 cited
Compositional System Security in the Presence of Interface-Confined Adversaries (CMU-CyLab-10-004)
Journal of Fish Diseases·2010· 4 citedOpen Access
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size (CMU-CyLab-10-005)
Figshare·2010· 2 citedOpen Access
FAWN
2009· 563 cited
A Logic of Secure Systems and its Application to Trusted Computing
2009· 109 cited
A Logic of Secure Systems and its Application to Trusted Computing (CMU-CyLab-09-001)
Figshare·2009· 2 citedOpen Access
FAWNdamentally Power-Efficient Clusters
Figshare·2009· 23 citedOpen Access
Remote detection of virtual machine monitors with fuzzy benchmarking
ACM SIGOPS Operating Systems Review·2008· 43 citedOpen Access
FAWN: A Fast Array of Wimpy Nodes (CMU-PDL-08-108)
Figshare·2008Open Access
page 1 of 2Next →

Frequent Co-authors

Anupam Datta(12), David G. Andersen(6), Lawrence Tan(6), Vijay Vasudevan(6), Dilsun Kaynar(6), Michael Kaminsky(5), Deepak Garg(5), Arvind Seshadri(5), Sagar Chaki(5), Amar Phanishayee(4), Adrian Perrig(4), Jonathan M. McCune(4), Parisa Tabriz(3), Iulian Moraru(3), Mark Luk(3), Damon McCoy(2), Jamie Van Randwyk(2), Leendert van Doorn(2), Mary Filardo(2), Marni Allen(2)