课题基金 / 基金详情

NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)

NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
2019 年 IEEE 计算机安全基金会研讨会 (CSF19) 的 NSF 学生旅费补助
批准号:
1901636
负责人:
Limin Jia
金额:
$1.2万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-04-01 至 2022-09-30

项目摘要

项目成果

Limin Jia的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This proposal supports student travel to attend the 2018 Computer Security Foundations Symposium (CSF) to be held in Hoboken, New Jersey in Summer 2018. CSF is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences is an important component of graduate school education for our society's future computer security researchers. Students have the opportunity to discuss leading edge research with world-class computer security researchers, and establish networks, connections, and mentoring relationships that will serve them well during their research careers.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
  • 批准号:
    2310964
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.51万
  • 财政年份:
    2023
  • 负责人:
    Limin Jia
  • 依托单位:
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
  • 批准号:
    2245115
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2023
  • 负责人:
    Limin Jia
  • 依托单位:
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
  • 批准号:
    2114148
  • 项目类别:
    Standard Grant
  • 资助金额:
    $85.56万
  • 财政年份:
    2021
  • 负责人:
    Limin Jia
  • 依托单位:
SaTC: CORE: Medium: Towards a Usable, Practical, and Provably Secure Browser Infrastructure
  • 批准号:
    1704542
  • 项目类别:
    Standard Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2017
  • 负责人:
    Limin Jia
  • 依托单位:
海外基金