NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
2019 年 IEEE 计算机安全基金会研讨会 (CSF19) 的 NSF 学生旅费补助
基本信息
- 批准号:1901636
- 负责人:
- 金额:$ 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.
该提案支持学生前往参加2018年夏季在新泽西霍博肯举行的2018年计算机安全基础研讨会(CSF)。CSF是计算机安全研究人员的年度会议,旨在研究当前的安全理论,为这些理论提供背景的正式模型以及验证安全性的技术。这项旅行补助金将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机安全研究人员研究生院教育的重要组成部分。学生有机会与世界一流的计算机安全研究人员讨论前沿研究,并建立网络,连接和指导关系,这将有助于他们在研究生涯中。该奖项反映了NSF的法定使命,并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Limin Jia其他文献
An integrated model for train rescheduling and station track assignment
列车重新调度和车站轨道分配的集成模型
- DOI:
10.1049/itr2.12001 - 发表时间:
2020-11 - 期刊:
- 影响因子:2.7
- 作者:
Xuelei Meng;Yahui Wang;Wanli Xiang;Limin Jia - 通讯作者:
Limin Jia
Policy auditing over incomplete logs: theory, implementation and applications
不完整日志的策略审计:理论、实现和应用
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
D. Garg;Limin Jia;Anupam Datta - 通讯作者:
Anupam Datta
<strong>Analysis of factors that influence the sensor location problem for freeway corridors</strong>
- DOI:
- 发表时间:
- 期刊:
- 影响因子:
- 作者:
Haijian Li;Honghui Dong;Limin Jia;Moyu Ren;Shi Li; - 通讯作者:
Difficulties faced by intensive care nurses in caring for patients with delirium: A cross-sectional, multicentre study.
重症监护护士在护理谵妄患者时面临的困难:一项横断面、多中心研究。
- DOI:
10.1016/j.aucc.2023.12.004 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Tianxiang Jiang;Tao;Yuecong Wang;Xu tong Zheng;Limin Jia;Wenyuan Zhang - 通讯作者:
Wenyuan Zhang
On Hybrid Control System Methods for Traffic and Transportation System
交通运输系统混合控制系统方法研究
- DOI:
10.4028/www.scientific.net/amm.253-255.1438 - 发表时间:
2012-12 - 期刊:
- 影响因子:0
- 作者:
Xuelei Meng;Limin Jia;Yong Qin;Jie Xu - 通讯作者:
Jie Xu
Limin Jia的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Limin Jia', 18)}}的其他基金
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
- 批准号:
2310964 - 财政年份:2023
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
协作研究:SaTC:核心:小型:基于超产权的信息流安全执行
- 批准号:
2245115 - 财政年份:2023
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究:SaTC:核心:中:迈向安全、私密和可靠的家庭自动化:从形式建模到用户评估
- 批准号:
2114148 - 财政年份:2021
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
SaTC: CORE: Medium: Towards a Usable, Practical, and Provably Secure Browser Infrastructure
SaTC:核心:中:迈向可用、实用且可证明安全的浏览器基础设施
- 批准号:
1704542 - 财政年份:2017
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: DEFIND: DEclarative Formal Interactive Network Design
NeTS:媒介:协作研究:DEFIND:声明式形式交互网络设计
- 批准号:
1513961 - 财政年份:2015
- 资助金额:
$ 1.2万 - 项目类别:
Continuing Grant
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks
SHF:Small:协作研究:异构软件协议栈的组合验证
- 批准号:
1422705 - 财政年份:2014
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
TWC: Small: Provably Enforcing Practical Multi-Layer Policies in Today's Extensible Software Platforms
TWC:小型:在当今的可扩展软件平台中可证明地执行实用的多层策略
- 批准号:
1320470 - 财政年份:2013
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols
TC:小型:协作研究:建立分析和实施安全路由协议的正式框架
- 批准号:
1115706 - 财政年份:2011
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
相似海外基金
Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
- 批准号:
2413092 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
- 批准号:
2409934 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
- 批准号:
2416160 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel for 2024 USENIX Conferences USENIX ATC 2024 and OSDI 2024
旅行:2024 年 USENIX 会议 USENIX ATC 2024 和 OSDI 2024 的 NSF 学生旅行
- 批准号:
2404784 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)
旅费:2024 年 IEEE 国际量子计算与工程会议 (QCE) 的 NSF 学生旅费补助金
- 批准号:
2417602 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE Symposium on Security and Privacy (IEEE S&P 2024)
旅行:2024 年 IEEE 安全与隐私研讨会 (IEEE S
- 批准号:
2419095 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
- 批准号:
2420866 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Conference: SHF: Small: NSF Student Travel Grant for 2024 IEEE VLSI Test Symposium
会议:SHF:小型:2024 年 IEEE VLSI 测试研讨会 NSF 学生旅费补助金
- 批准号:
2334367 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant