NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
批准号:
1901636
负责人:
Limin Jia
金额:
$1.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-04-01 至 2022-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
NeTS: Medium: Collaborative Research: DEFIND: DEclarative Formal Interactive Network Design
-
批准号:1513961
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2015
-
负责人:Limin Jia
-
依托单位:
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks
-
批准号:1422705
-
项目类别:Standard Grant
-
资助金额:$24.7万
-
财政年份:2014
-
负责人:Limin Jia
-
依托单位:
TWC: Small: Provably Enforcing Practical Multi-Layer Policies in Today's Extensible Software Platforms
-
批准号:1320470
-
项目类别:Standard Grant
-
资助金额:$48.53万
-
财政年份:2013
-
负责人:Limin Jia
-
依托单位:
TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols
-
批准号:1115706
-
项目类别:Standard Grant
-
资助金额:$29.93万
-
财政年份:2011
-
负责人:Limin Jia
-
依托单位:
海外基金