Student Travel Support for the 30th IEEE Computer Security Foundations Symposium (CSF); August, 2017, Santa Barbara, CA
第 30 届 IEEE 计算机安全基础研讨会 (CSF) 的学生旅行支持;
基本信息
- 批准号:1740510
- 负责人:
- 金额:$ 1.2万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-06-01 至 2018-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This proposal supports student travel to attend the 2017 Computer Security Foundations Symposium (CSF) to be held in Santa Barbara, California, August 2017. 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.
该提案支持学生前往参加2017年8月在加州圣巴巴拉举行的2017年计算机安全基础研讨会(CSF)。CSF是计算机安全研究人员的年度会议,旨在研究当前的安全理论,为这些理论提供背景的正式模型以及验证安全性的技术。这项旅行补助金将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机安全研究人员研究生院教育的重要组成部分。学生有机会与世界一流的计算机安全研究人员讨论前沿研究,并建立网络,连接和指导关系,这将在他们的研究生涯中为他们提供良好的服务。
项目成果
期刊论文数量(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 }}
Stephen Chong其他文献
Secure web application via automatic partitioning
通过自动分区保护 Web 应用程序
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
Stephen Chong;Jed Liu;A. Myers;Xin Qi;K. Vikram;Lantian Zheng;Xin Zheng - 通讯作者:
Xin Zheng
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)
进度敏感、流敏感的内联信息流控制监视器(扩展版)
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:5.6
- 作者:
A. Bedford;Stephen Chong;Josée Desharnais;Elisavet Kozyri;N. Tawbi - 通讯作者:
N. Tawbi
It's My Privilege: Controlling Downgrading in DC-Labels
这是我的特权:控制 DC 标签的降级
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Lucas Waye;Pablo Buiras;D. King;Stephen Chong;Alejandro Russo - 通讯作者:
Alejandro Russo
Scalable extensibility via nested inheritance
通过嵌套继承实现可扩展性
- DOI:
10.1145/1028976.1028986 - 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
Nathaniel Nystrom;Stephen Chong;A. Myers - 通讯作者:
A. Myers
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
Co-Inflow:类 Java 语言的粗粒度信息流控制
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Jian Xiang;Stephen Chong - 通讯作者:
Stephen Chong
Stephen Chong的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Stephen Chong', 18)}}的其他基金
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
- 批准号:
1565387 - 财政年份:2016
- 资助金额:
$ 1.2万 - 项目类别:
Continuing Grant
Workshop on Formal Methods for Security (November 2015)
安全正式方法研讨会(2015 年 11 月)
- 批准号:
1551249 - 财政年份:2015
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
TWC: Small: Language-level Control of Authority
TWC:小:语言级别的权限控制
- 批准号:
1524052 - 财政年份:2015
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
SHF: Small: Higher-order Contracts for Distributed Applications
SHF:小型:分布式应用程序的高阶合约
- 批准号:
1421770 - 财政年份:2014
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
CAREER: Practical, Expressive, Language-based Information Security
职业:实用、富有表现力、基于语言的信息安全
- 批准号:
1054172 - 财政年份:2011
- 资助金额:
$ 1.2万 - 项目类别:
Continuing Grant
相似海外基金
Support of Student Travel to Attend the Joint Meetings of The Clay Minerals Society and the Asian Clay Conference
支持学生参加粘土矿物学会和亚洲粘土会议联席会议
- 批准号:
2421961 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: Student Travel Support for the 51st International Symposium on Computer Architecture (ISCA)
旅行:第 51 届计算机体系结构国际研讨会 (ISCA) 的学生旅行支持
- 批准号:
2409279 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: Student Support for the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024)
旅行:学生支持第 47 届国际 ACM SIGIR 信息检索研究与发展会议 (SIGIR 2024)
- 批准号:
2409649 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Student Design Essay Competition "Challenges in the Design of Complex Systems"; Travel Support to ASME IDETC 2024, ASME IDETC 2025, and ASME IDETC 2026 Conferences
学生设计征文比赛“复杂系统设计中的挑战”;
- 批准号:
2345214 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
- 批准号:
2408942 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Student Travel Support for the 50th International Conference on Very Large Databases 2024
2024 年第 50 届超大型数据库国际会议的学生旅行支持
- 批准号:
2422438 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Travel: Student Travel Support to SOSP 2023
旅行:SOSP 2023 学生旅行支持
- 批准号:
2342883 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
NSF: STOC 2024 Conference Student Travel Support
NSF:STOC 2024 会议学生旅行支持
- 批准号:
2421504 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Conference: Travel: III: Student Travel Support for 2024 ACM The Web Conference (TheWebConf)
会议:旅行:III:2024 年 ACM 网络会议 (TheWebConf) 的学生旅行支持
- 批准号:
2412369 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant
Conference: NSF Student Travel Support for the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-2024)
会议:第 38 届 AAAI 人工智能会议 (AAAI-2024) 的 NSF 学生旅行支持
- 批准号:
2412476 - 财政年份:2024
- 资助金额:
$ 1.2万 - 项目类别:
Standard Grant














{{item.name}}会员




