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

相似海外基金

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
通过技术驱动的诱捕器开发和人工智能引导的蚊子繁殖栖息地检测来控制下一代蚊子
  • 批准号:
    10490916
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
Next generation mosquito control through technology-driven trap development and artificial intelligence guided detection of mosquito breeding habitats
通过技术驱动的诱捕器开发和人工智能引导的蚊子繁殖栖息地检测来控制下一代蚊子
  • 批准号:
    10339610
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
Accelerated discovery of cell-active SARS-CoV-2 polymerase inhibitors via molecular dynamic guided screening and optimization
通过分子动力学引导筛选和优化加速发现细胞活性 SARS-CoV-2 聚合酶抑制剂
  • 批准号:
    10238322
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
Next generation mosquito control through technology-driven trap development and artificial intelligence guided detection of mosquito breeding habitats
通过技术驱动的诱捕器开发和人工智能引导的蚊子繁殖栖息地检测来控制下一代蚊子
  • 批准号:
    10687199
  • 财政年份:
    2021
  • 资助金额:
    $ 25.02万
  • 项目类别:
Complimentary NMR and Bio-Assay Guided Screening of Edible Marine Algae for AGE Inhibitors to Control Glycative Stress and Reduce Risk of Neurodegeneration.
免费核磁共振和生物测定指导筛选可食用海藻中的 AGE 抑制剂,以控制糖化应激并降低神经退行性变的风险。
  • 批准号:
    10480050
  • 财政年份:
    2020
  • 资助金额:
    $ 25.02万
  • 项目类别:
ShEEP Request for an X-Ray Irradiation System
ShEEP 请求 X 射线辐照系统
  • 批准号:
    10177392
  • 财政年份:
    2020
  • 资助金额:
    $ 25.02万
  • 项目类别:
GMP peptide manufacturing, pharmacology/toxicology, and scaled radionuclide production and validation for Pb-212 receptor targeted alpha-particle therapy clinical trials for metastatic melanoma.
GMP 肽制造、药理学/毒理学以及大规模放射性核素生产和验证,用于针对转移性黑色素瘤的 Pb-212 受体靶向 α 粒子治疗临床试验。
  • 批准号:
    10256034
  • 财政年份:
    2020
  • 资助金额:
    $ 25.02万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了