Detecting Asynchronous Event-Driven Order Violations in Android Apps
检测 Android 应用中异步事件驱动的订单违规
基本信息
- 批准号:DP210102409
- 负责人:
- 金额:$ 22.17万
- 依托单位:
- 依托单位国家:澳大利亚
- 项目类别:Discovery Projects
- 财政年份:2022
- 资助国家:澳大利亚
- 起止时间:2022-03-01 至 2025-02-28
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
This project aims to develop an event-interleaving analysis for detecting asynchronous event-driven order violations in Android apps. This project therefore expects to deliver a program analysis foundation that can provide stronger security guarantees than the state of the art against advanced exploits that abuse such asynchronous vulnerabilities. The intended outcomes of this project are a new program analysis technology and an industrial-strength open-source framework that can significantly raise the bar on mobile software quality and security for Android, the dominant smartphone platform accounting a current market share at 87.0% with 2.9 million apps at Google Play in December 2019.
该项目旨在开发一个事件交织分析,用于检测Android应用程序中异步事件驱动的顺序违规。因此,该项目希望提供一个程序分析基础,可以提供比最先进的技术更强的安全保证,以防止滥用此类异步漏洞的高级漏洞利用。该项目的预期成果是一种新的程序分析技术和一个工业实力的开源框架,可以显著提高Android的移动的软件质量和安全性,Android是占主导地位的智能手机平台,目前的市场份额为87.0%,2019年12月在Google Play有290万个应用程序。
项目成果
期刊论文数量(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
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Discovery Projects - Grant ID: DP210102409
发现项目 - 拨款 ID:DP210102409
- 批准号:
ARC : DP210102409 - 财政年份:2022
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Securing systems against code-reuse attacks with modular pointer analysis
通过模块化指针分析保护系统免受代码重用攻击
- 批准号:
DP180104069 - 财政年份:2018
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Soundness-guided security analysis for android applications
Android 应用程序健全性引导的安全分析
- 批准号:
DP170103956 - 财政年份:2017
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Sparse Demand-Driven Analysis to Improve Software Reliability and Security
稀疏需求驱动分析以提高软件可靠性和安全性
- 批准号:
DP150102109 - 财政年份:2015
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Finding concurrency bugs in multithreaded software
查找多线程软件中的并发错误
- 批准号:
DP130101970 - 财政年份:2013
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Automating data placement and movement for explicitly managed memory hierarchies
显式管理的内存层次结构的自动化数据放置和移动
- 批准号:
DP110104628 - 财政年份:2011
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
A Programming Model of Object Validity for Secure and Efficient Concurrency
用于安全高效并发的对象有效性编程模型
- 批准号:
DP0987236 - 财政年份:2009
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Scratchpad-based Memory Allocation Techniques for Embedded Software
基于暂存器的嵌入式软件内存分配技术
- 批准号:
DP0881330 - 财政年份:2008
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
Analysis and Optimisation of Incomplete Object-Oriented Programs
不完全面向对象程序的分析与优化
- 批准号:
DP0665581 - 财政年份:2006
- 资助金额:
$ 22.17万 - 项目类别:
Discovery Projects
相似海外基金
BIGDATA: IA: Collaborative Research: Asynchronous Distributed Machine Learning Framework for Multi-Site Collaborative Brain Big Data Mining
BIGDATA:IA:协作研究:用于多站点协作大脑大数据挖掘的异步分布式机器学习框架
- 批准号:
2348159 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Standard Grant
CAREER: Physics-inspired Machine Learning with Sparse and Asynchronous p-bits
职业:利用稀疏和异步 p 位进行物理启发的机器学习
- 批准号:
2237357 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Continuing Grant
OAC Core: LABIOS: Storage Acceleration via Data Labeling and Asynchronous I/O
OAC 核心:LABIOS:通过数据标签和异步 I/O 进行存储加速
- 批准号:
2313154 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Standard Grant
Asynchronous Scientific Continuous Computations Exploiting Disaggregation (ASCCED)
利用分解的异步科学连续计算 (ASCCED)
- 批准号:
EP/X01794X/1 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Research Grant
Asynchronous Open Online Course Addressing Structural Racism and Discrimination to Reduce Disparities
异步开放在线课程解决结构性种族主义和歧视以减少差异
- 批准号:
10649862 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Development of Architectural Educational Reference Tools in Remote and Asynchronous Environments using Object VR
使用对象 VR 在远程和异步环境中开发建筑教育参考工具
- 批准号:
23K02643 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of an Asynchronous Cellular Automata Based on Termites
基于白蚁的异步元胞自动机的开发
- 批准号:
23KJ2050 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Large-scale sparse learning using asynchronous architecture for interpretable model
使用异步架构进行可解释模型的大规模稀疏学习
- 批准号:
23K11213 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
High throughput asynchronous digital logic implementation flow
高吞吐量异步数字逻辑实现流程
- 批准号:
10074333 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Grant for R&D
Extension of computer vision methods to asynchronous image sensors
将计算机视觉方法扩展到异步图像传感器
- 批准号:
23K16902 - 财政年份:2023
- 资助金额:
$ 22.17万 - 项目类别:
Grant-in-Aid for Early-Career Scientists