课题基金 / 基金详情

TWC: Medium: HARDWARE-ASSISTED LIGHTWEIGHT CAPABILITY OPTIMIZATION (HALCYON)

TWC: Medium: HARDWARE-ASSISTED LIGHTWEIGHT CAPABILITY OPTIMIZATION (HALCYON)
TWC:中:硬件辅助轻量级功能优化(HALCYON)
批准号:
1513687
负责人:
Jonathan Smith
金额:
$120.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-10-01 至 2019-09-30

项目摘要

项目成果

Jonathan Smith的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
To address today's environment of constant security challenges and cyber-threats, the Hardware-Assisted Lightweight Capability Optimization (HALCYON) research explores novel techniques to make the performance of more secure system designs acceptable to users. Conventional system designs have achieved acceptable performance, but have evolved from hardware and software designs that carry forward compromises in security that made sense in the past, but not with modern hardware resources in today's security climate. HALCYON uses an approach, called "capabilities", that provides better control of information sharing and protection in computer systems than today's architectures. Capability access control is preferred by many security experts, but conventional wisdom holds that it is too slow to be used in practice. If HALCYON is successful, a new generation of fundamentally more secure software systems will be enabled, at little to no cost in performance. HALCYON research explores hardware acceleration of selected operations in the use of per-object access controls in an object-oriented programmer-controlled protection model based on capabilities. The measurement and data driven exploration is based on understanding the quantitative benefits of hardware acceleration on microkernels such as L4 that are used in mobile phones and other devices. Examples of hardware accelerations include lightweight support for fat pointers ("low-fat pointers"), object pointers with associated access control specifications. Such fat pointers, which have been designed, validated and implemented, can protect units as small as individual memory words. As an initial example, the project is using measurements to identify the impact of this hardware acceleration. Measurement data from the quantitative exploration allows the researchers to identify both worthwhile hardware accelerations and opportunities for operating system restructuring that exploit those accelerations.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
TWC: Medium: Collaborative: Active Security
  • 批准号:
    1406225
  • 项目类别:
    Standard Grant
  • 资助金额:
    $36.0万
  • 财政年份:
    2014
  • 负责人:
    Jonathan Smith
  • 依托单位:
SUPPORT FOR UPENN GNU RADIO CONFERENCE
  • 批准号:
    1239816
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.0万
  • 财政年份:
    2012
  • 负责人:
    Jonathan Smith
  • 依托单位:
Support For Future INTERNET Workshop June 9-10th AT University of Pennsylvania
  • 批准号:
    1142321
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.5万
  • 财政年份:
    2011
  • 负责人:
    Jonathan Smith
  • 依托单位:
Integrating Dynamic Programming within Mixed-Integer Programming Techniques
  • 批准号:
    1100765
  • 项目类别:
    Standard Grant
  • 资助金额:
    $23.0万
  • 财政年份:
    2011
  • 负责人:
    Jonathan Smith
  • 依托单位:
海外基金