Secure And Reliable Systems
Secure And Reliable Systems
批准号:
CRC-2019-00242
负责人:
Lie, David
金额:
$14.57万
依托单位:
依托单位国家:
加拿大
项目类别:
Canada Research Chairs
财政年份:
2021
资助国家:
加拿大
项目状态:
已结题
起止时间:
2021-01-01 至 2022-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The ``Internet of Things'' will realize a world where we depend on computing devices every second of our lives. It is critical that end-users, who do not have access to source code and in some cases, do not even have access to software binaries, have techniques to verify the security and safety of the devices they use, rather than blindly place complete trust in the device vendors. This proposal seeks to develop such methods using a combination of dynamic test generation, machine learning and code analysis techniques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Systems
-
批准号:CRC-2019-00242
-
项目类别:Canada Research Chairs
-
资助金额:$14.57万
-
财政年份:2022
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$12.76万
-
财政年份:2021
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$12.76万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Systems
-
批准号:CRC-2019-00242
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2020
-
负责人:Lie, David
-
依托单位:
Tools and methods for detecting vulnerabilities in embedded devices
-
批准号:535902-2018
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.19万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
Mitigating Software Vulnerabilities with Architectural Support for Type-safety
-
批准号:541942-2019
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$6.73万
-
财政年份:2019
-
负责人:Lie, David
-
依托单位:
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
-
批准号:RGPIN-2018-05931
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2018
-
负责人:Lie, David
-
依托单位:
Computational tools for analyzing and detecting software supply chain attacks
-
批准号:474601-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.1万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Computer Systems
-
批准号:1000228402-2012
-
项目类别:Canada Research Chairs
-
资助金额:$3.64万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
An Information Flow Approach to Data Security
-
批准号:293209-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2017
-
负责人:Lie, David
-
依托单位:
Computational tools for analyzing and detecting software supply chain attacks
-
批准号:474601-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$5.1万
-
财政年份:2016
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Computer Systems
-
批准号:1000228402-2012
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2016
-
负责人:Lie, David
-
依托单位:
An Information Flow Approach to Data Security
-
批准号:293209-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2015
-
负责人:Lie, David
-
依托单位:
Secure and Reliable Computer Systems
-
批准号:1228402-2012
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2015
-
负责人:Lie, David
-
依托单位:
海外基金