Soundness-guided security analysis for android applications

Android 应用程序健全性引导的安全分析

基本信息

  • 批准号:
    DP170103956
  • 负责人:
  • 金额:
    $ 25.02万
  • 依托单位:
  • 依托单位国家:
    澳大利亚
  • 项目类别:
    Discovery Projects
  • 财政年份:
    2017
  • 资助国家:
    澳大利亚
  • 起止时间:
    2017-01-01 至 2020-12-31
  • 项目状态:
    已结题

项目摘要

This project aims to develop a soundness-guided programme analysis to mitigate security threats caused by reflection and dynamic class loading in Android apps, without compromising precision and scalability. Both dynamic code update techniques are widely used in benign and malware apps, but state-of-the-art malware analysis tools ignore or mishandle them, missing security threats and vulnerabilities. The resulting open-source security analysis tool will allow software industries and enterprises (from national security, finance, banking to healthcare, retail, telecommunications) to test their mobile software effectively for code defects or security threats early at software development time at significantly reduced cost.
该项目旨在开发一种健全性引导的程序分析,以减轻 Android 应用程序中反射和动态类加载造成的安全威胁,同时不影响精度和可扩展性。这两种动态代码更新技术都广泛用于良性和恶意软件应用程序,但最先进的恶意软件分析工具会忽略或错误处理它们,错过安全威胁和漏洞。由此产生的开源安全分析工具将允许软件行业和企业(从国家安全、金融、银行到医疗保健、零售、电信)在软件开发初期有效地测试其移动软件的代码缺陷或安全威胁,并显着降低成本。

项目成果

期刊论文数量(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 }}

Prof Jingling Xue其他文献

Prof Jingling Xue的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Prof Jingling Xue', 18)}}的其他基金

Ownership-based Alias Analysis for Securing Unsafe Rust Programs
用于保护不安全 Rust 程序的基于所有权的别名分析
  • 批准号:
    DP240103194
  • 财政年份:
    2024
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Detecting Asynchronous Event-Driven Order Violations in Android Apps
检测 Android 应用中异步事件驱动的订单违规
  • 批准号:
    DP210102409
  • 财政年份:
    2022
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Discovery Projects - Grant ID: DP210102409
发现项目 - 拨款 ID:DP210102409
  • 批准号:
    ARC : DP210102409
  • 财政年份:
    2022
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Securing systems against code-reuse attacks with modular pointer analysis
通过模块化指针分析保护系统免受代码重用攻击
  • 批准号:
    DP180104069
  • 财政年份:
    2018
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Sparse Demand-Driven Analysis to Improve Software Reliability and Security
稀疏需求驱动分析以提高软件可靠性和安全性
  • 批准号:
    DP150102109
  • 财政年份:
    2015
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Finding concurrency bugs in multithreaded software
查找多线程软件中的并发错误
  • 批准号:
    DP130101970
  • 财政年份:
    2013
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Automating data placement and movement for explicitly managed memory hierarchies
显式管理的内存层次结构的自动化数据放置和移动
  • 批准号:
    DP110104628
  • 财政年份:
    2011
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
A Programming Model of Object Validity for Secure and Efficient Concurrency
用于安全高效并发的对象有效性编程模型
  • 批准号:
    DP0987236
  • 财政年份:
    2009
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Scratchpad-based Memory Allocation Techniques for Embedded Software
基于暂存器的嵌入式软件内存分配技术
  • 批准号:
    DP0881330
  • 财政年份:
    2008
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects
Analysis and Optimisation of Incomplete Object-Oriented Programs
不完全面向对象程序的分析与优化
  • 批准号:
    DP0665581
  • 财政年份:
    2006
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Discovery Projects

相似国自然基金

磁共振引导下激光间质热疗治疗脑胶质瘤的有效性和安全性评价研究
  • 批准号:
    82151310
  • 批准年份:
    2021
  • 资助金额:
    100 万元
  • 项目类别:
    原创探索计划项目
作物安全高效引导编辑系统的建立及应用研究
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    24 万元
  • 项目类别:
    青年科学基金项目
面向主动安全的建筑工人前摄危险感知行为的机理与引导
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    48 万元
  • 项目类别:
    面上项目
“高频电刺激”VS“射频电流”引导经导管肾动脉消融去神经术治疗高血压的靶向性、有效性、安全性评价
  • 批准号:
    82000471
  • 批准年份:
    2020
  • 资助金额:
    24 万元
  • 项目类别:
    青年科学基金项目
城市无信号控制人行横道诱导设施的引导机理与组合优化研究
  • 批准号:
    51908060
  • 批准年份:
    2019
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Optimization and Validation of a Cost-effective Image-Guided Automated Extracapsular Extension Detection Framework through Interpretable Machine Learning in Head and Neck Cancer
通过可解释的机器学习在头颈癌中优化和验证具有成本效益的图像引导自动囊外扩展检测框架
  • 批准号:
    10648372
  • 财政年份:
    2023
  • 资助金额:
    $ 25.02万
  • 项目类别:
CAREER: A Model-Guided and Holistic Approach for Peripheral Security
职业:模型引导的整体外围安全方法
  • 批准号:
    2145744
  • 财政年份:
    2022
  • 资助金额:
    $ 25.02万
  • 项目类别:
    Continuing Grant
SARRP with Cone Beam CT and bioluminescence imaging guidance
采用锥束 CT 和生物发光成像引导的 SARRP
  • 批准号:
    10417277
  • 财政年份:
    2022
  • 资助金额:
    $ 25.02万
  • 项目类别:
Next generation mosquito control through technology-driven trap development and artificial intelligence guided detection of mosquito breeding habitats
通过技术驱动的诱捕器开发和人工智能引导的蚊子繁殖栖息地检测来控制下一代蚊子
  • 批准号:
    10339610
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
Next generation mosquito control through technology-driven trap development and artificial intelligence guided detection of mosquito breeding habitats
通过技术驱动的诱捕器开发和人工智能引导的蚊子繁殖栖息地检测来控制下一代蚊子
  • 批准号:
    10490916
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了