Securing systems against code-reuse attacks with modular pointer analysis
Securing systems against code-reuse attacks with modular pointer analysis
批准号:
DP180104069
负责人:
Prof Jingling Xue
金额:
$25.38万
依托单位国家:
澳大利亚
项目类别:
Discovery Projects
财政年份:
2018
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2018-03-01 至 2022-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project aims to build secure defences against code-reuse attacks in large-scale C++ applications with millions of lines of code, by enforcing control flow integrity with modular pointer analysis. The state-of-the-art mitigation techniques that are deployed in mainstream computer operating systems can all be bypassed by advanced code-reuse attacks, resulting in security exploits in all major web browsers. The outcomes of this project will be an exploit mitigation technology and an open-source tool that can significantly raise the bar against advanced code-reuse attacks, thereby providing a foundation for eliminating such security threats.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
-
批准号:DP240103194
-
项目类别:Discovery Projects
-
资助金额:$35.59万
-
财政年份:2024
-
负责人:Prof Jingling Xue
-
依托单位:
Detecting Asynchronous Event-Driven Order Violations in Android Apps
-
批准号:DP210102409
-
项目类别:Discovery Projects
-
资助金额:$22.17万
-
财政年份:2022
-
负责人:Prof Jingling Xue
-
依托单位:
Discovery Projects - Grant ID: DP210102409
-
批准号:ARC : DP210102409
-
项目类别:Discovery Projects
-
资助金额:$31.5万
-
财政年份:2022
-
负责人:Prof Jingling Xue
-
依托单位:
Soundness-guided security analysis for android applications
-
批准号:DP170103956
-
项目类别:Discovery Projects
-
资助金额:$25.02万
-
财政年份:2017
-
负责人:Prof Jingling Xue
-
依托单位:
Sparse Demand-Driven Analysis to Improve Software Reliability and Security
-
批准号:DP150102109
-
项目类别:Discovery Projects
-
资助金额:$18.37万
-
财政年份:2015
-
负责人:Prof Jingling Xue
-
依托单位:
Finding concurrency bugs in multithreaded software
-
批准号:DP130101970
-
项目类别:Discovery Projects
-
资助金额:$25.58万
-
财政年份:2013
-
负责人:Prof Jingling Xue
-
依托单位:
Automating data placement and movement for explicitly managed memory hierarchies
-
批准号:DP110104628
-
项目类别:Discovery Projects
-
资助金额:$27.44万
-
财政年份:2011
-
负责人:Prof Jingling Xue
-
依托单位:
A Programming Model of Object Validity for Secure and Efficient Concurrency
-
批准号:DP0987236
-
项目类别:Discovery Projects
-
资助金额:$27.06万
-
财政年份:2009
-
负责人:Prof Jingling Xue
-
依托单位:
Scratchpad-based Memory Allocation Techniques for Embedded Software
-
批准号:DP0881330
-
项目类别:Discovery Projects
-
资助金额:$19.77万
-
财政年份:2008
-
负责人:Prof Jingling Xue
-
依托单位:
Analysis and Optimisation of Incomplete Object-Oriented Programs
-
批准号:DP0665581
-
项目类别:Discovery Projects
-
资助金额:$19.81万
-
财政年份:2006
-
负责人:Prof Jingling Xue
-
依托单位:
Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies
-
批准号:DP0452623
-
项目类别:Discovery Projects
-
资助金额:$10.45万
-
财政年份:2004
-
负责人:Prof Jingling Xue
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Graphon mean field games with partial observation and application to failure detection in distributed systems
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:MATHIEULOUROCHLAURIERE
-
依托单位:
EstimatingLarge Demand Systems with MachineLearning Techniques
-
批准号:--
-
项目类别:外国学者研究基金
-
资助金额:--
-
批准年份:2024
-
负责人:IoshuaAlex
-
依托单位:
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:丁劲
-
依托单位:
Understanding complicated gravitational physics by simple two-shell systems
-
批准号:12005059
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:国分隆文
-
依托单位:
Simulation and certification of the ground state of many-body systems on quantum simulators
-
批准号:--
-
项目类别:--
-
资助金额:40万元
-
批准年份:2020
-
负责人:Abolfazl Bayat
-
依托单位:
全基因组系统作图(systems mapping)研究三种细菌种间互作遗传机制
-
批准号:31971398
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:何晓青
-
依托单位:
新型非对称频分双工系统及其射频关键技术研究
-
批准号:61102055
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2011
-
负责人:林水洋
-
依托单位:
The formation and evolution of planetary systems in dense star clusters
-
批准号:11043007
-
项目类别:专项基金项目
-
资助金额:10.0万元
-
批准年份:2010
-
负责人:柯文采
-
依托单位:
超高频超宽带系统射频基带补偿理论与技术的研究
-
批准号:61001097
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2010
-
负责人:李亚波
-
依托单位:
相关信道环境下MIMO-OFDM系统的空时码设计问题研究
-
批准号:60572117
-
项目类别:面上项目
-
资助金额:6.0万元
-
批准年份:2005
-
负责人:刘守印
-
依托单位: