Formal, automatic and efficient malicious code detection by static analysis
通过静态分析进行正式、自动、高效的恶意代码检测
基本信息
- 批准号:194380-2002
- 负责人:
- 金额:$ 2.04万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2006
- 资助国家:加拿大
- 起止时间:2006-01-01 至 2007-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 }}
Tawbi, Nadia其他文献
Tawbi, Nadia的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Tawbi, Nadia', 18)}}的其他基金
Enforcing security and safety policies in IoT applications
在物联网应用中执行安全策略
- 批准号:
RGPIN-2020-04283 - 财政年份:2022
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Enforcing security and safety policies in IoT applications
在物联网应用中执行安全策略
- 批准号:
RGPIN-2020-04283 - 财政年份:2021
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Enforcing security and safety policies in IoT applications
在物联网应用中执行安全策略
- 批准号:
RGPIN-2020-04283 - 财政年份:2020
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Hybrid approaches for enforcing security policies.
执行安全策略的混合方法。
- 批准号:
RGPIN-2015-04461 - 财政年份:2019
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Hybrid approaches for enforcing security policies.
执行安全策略的混合方法。
- 批准号:
RGPIN-2015-04461 - 财政年份:2018
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Hybrid approaches for enforcing security policies.
执行安全策略的混合方法。
- 批准号:
RGPIN-2015-04461 - 财政年份:2017
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Hybrid approaches for enforcing security policies.
执行安全策略的混合方法。
- 批准号:
RGPIN-2015-04461 - 财政年份:2016
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Hybrid approaches for enforcing security policies.
执行安全策略的混合方法。
- 批准号:
RGPIN-2015-04461 - 财政年份:2015
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Security policy enforcement mechanisms
安全策略执行机制
- 批准号:
194380-2010 - 财政年份:2014
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Security policy enforcement mechanisms
安全策略执行机制
- 批准号:
194380-2010 - 财政年份:2013
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
基于计算模型的医用X线最优曝光控制技术的研究
- 批准号:60472004
- 批准年份:2004
- 资助金额:26.0 万元
- 项目类别:面上项目
相似海外基金
CAREER: Resilient and Efficient Automatic Control in Energy Infrastructure: An Expert-Guided Policy Optimization Framework
职业:能源基础设施中的弹性和高效自动控制:专家指导的政策优化框架
- 批准号:
2338559 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
CAREER: A Multi-faceted Framework to Enable Computationally Efficient Evaluation and Automatic Design for Large-scale Economics-driven Transmission Planning
职业生涯:一个多方面的框架,可实现大规模经济驱动的输电规划的计算高效评估和自动设计
- 批准号:
2339956 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Continuing Grant
Using Go-Explore for efficient automatic playtesting of modern tabletop games
使用 Go-Explore 对现代桌面游戏进行高效的自动游戏测试
- 批准号:
2892661 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Studentship
Towards Efficient Code Review: Automatic Recommendation of Needed Information
实现高效的代码审查:自动推荐所需信息
- 批准号:
23K16864 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
CCF: SHF: Small: Self-Adaptive Interference-Avoiding Wireless Receiver Hardware through Real-Time Learning-Based Automatic Optimization of Power-Efficient Integrated Circuits
CCF:SHF:小型:通过基于实时学习的高能效集成电路自动优化实现自适应干扰避免无线接收器硬件
- 批准号:
2218845 - 财政年份:2022
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
More efficient and accurate automatic speech recognition
自动语音识别更高效、准确
- 批准号:
RGPIN-2018-05226 - 财政年份:2022
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
More efficient and accurate automatic speech recognition
自动语音识别更高效、准确
- 批准号:
RGPIN-2018-05226 - 财政年份:2021
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
NSF-BSF:SHF:小型:高效、自动且值得信赖的智能合约验证
- 批准号:
2110397 - 财政年份:2021
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
Research on automatic maneuverability of quadmaran vessel for faster and efficient sailing to improve cruising distance
四体船自动操纵性研究,实现更快、更高效航行,提高续航距离
- 批准号:
20H02376 - 财政年份:2020
- 资助金额:
$ 2.04万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Efficient Training Data Generation for Automatic Image Quality Assessment of FDG-PET Images by Machine Learning
通过机器学习生成有效的训练数据,用于自动评估 FDG-PET 图像的图像质量
- 批准号:
20K08091 - 财政年份:2020
- 资助金额:
$ 2.04万 - 项目类别:
Grant-in-Aid for Scientific Research (C)