刷新
{{item.name}}会员
Practical Symbolic Execution for Rust
Rust 的实用符号执行
基本信息
- 批准号：573705-2022
- 负责人：
- 金额：$ 0.44万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Ngo, PaulPN其他文献
Ngo, PaulPN的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
SaTC: CORE: Medium: Symbolizing Viability: Paving the Road to Practical Symbolic Execution
SaTC：核心：中：象征可行性：为实际象征执行铺平道路
- 批准号：
2247954 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
FMitF: Track II: Cybolic: a symbolic execution technique and tool for analyzing CMake build scripts
FMITF：轨道 II：Cybolic：用于分析 CMake 构建脚本的符号执行技术和工具
- 批准号：
2319131 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Practical Symbolic Execution for Rust
Rust 的实用符号执行
- 批准号：
580524-2022 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Alliance Grants
High-fidelity Symbolic Execution for Vulnerability Hunting
用于漏洞搜寻的高保真符号执行
- 批准号：
RGPIN-2022-03325 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
A symbolic execution engine for improved proof automation in machine-checked cryptography
用于改进机器检查密码学证明自动化的符号执行引擎
- 批准号：
2765784 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Studentship
High-fidelity Symbolic Execution for Vulnerability Hunting
用于漏洞搜寻的高保真符号执行
- 批准号：
DGECR-2022-00364 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Launch Supplement
Automatic generation of programming questions by symbolic execution
通过符号执行自动生成编程题
- 批准号：
20K12106 - 财政年份：2020
- 资助金额：
$ 0.44万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
SaTC: EDU: Curricula and CTF Exercises for Teaching Smart Fuzzing and Symbolic Execution
SaTC：EDU：用于教授智能模糊测试和符号执行的课程和 CTF 练习
- 批准号：
1821841 - 财政年份：2018
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Improving Symbolic Execution via Targeted Program Transformations
通过有针对性的程序转换改进符号执行
- 批准号：
EP/N007166/1 - 财政年份：2016
- 资助金额：
$ 0.44万 - 项目类别：
Research Grant
CSR: Medium: Augmenting Logs with Static Analysis and Symbolic Execution
CSR：中：通过静态分析和符号执行增强日志
- 批准号：
1564274 - 财政年份：2016
- 资助金额：
$ 0.44万 - 项目类别：
Continuing Grant