主 讲 人:白家驹 清华大学计算机系 操作系统实验室
报告时间:2019年5月23日(周二)上午 10:00 – 12:00
报告地点:1048会议室
报告摘要 (Abstract)
In Linux device drivers, use-after-free (UAF) bugs can cause system crashes and serious security problems. According to our study of Linux kernel commits, nearly half of the driver commits fixing use-after-free bugs involve driver concurrency. Due to the non-determinism of concurrent execution, concurrency use-after-free bugs are often more difficult to reproduce and detect than sequential use-after-free bugs. In this talk, I will present a new static analysis approach named DCUAF, to effectively detect concurrency use-after-free bugs in Linux device drivers. DCUAF combines a local analysis analyzing the source code of each driver with a global analysis statistically analyzing the local results of all drivers, forming a local-global analysis, to extract the pairs of driver interface functions that may be concurrently executed. Then, with these pairs, DCUAF performs a summary-based lockset analysis to detect concurrency use-after-free bugs. DCUAF has been evaluated on the driver code in the Linux kernel, and found hundreds of real concurrency use-after-free bugs.
主讲人简介 (Short Bio)
白家驹博士是清华大学计算机系操作系统的博士后和助理研究员。他在2013年于西安电子科技大学获得学士学位,并在2018年于清华大学获得博士学位。他的博士毕业论文被评为清华大学优秀博士学位论文。他的主要研究方向为操作系统可靠性和内核程序分析,侧重利用动态分析和静态分析技术对操作系统源代码进行缺陷检测。他的研究工作发表在USENIX ATC、ASPLOS、CGO、JSS、IST等系统和软件分析领域的会议和期刊中,并且在Linux、FreeBSD和NetBSD等常用操作系统代码中发现了诸多真实的缺陷。
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers
本站小编 Free考研/2020-05-26
相关话题/操作系统 清华大学
清华大学刘泽文教授、北京交通大学邓涛副教授合作在三维石墨烯光电传感器研究取得重要进展
近日,清华大学微纳电子所刘泽文教授、北京交通大学电子信息工程学院邓涛副教授联合团队在国际著名学术期刊《纳米快报》(Nano Letters)上发表了题为《基于三维石墨烯场效应管的高性能光电传感器》(”Three-Dimensional Graphene Field-Effect Transistor ...中科院半导体研究所 本站小编 Free考研 2020-05-25理化所与清华大学提出研制未来尖端机器人一般原则:液体集成(I-LIFE)
近日,中科院理化所与清华大学联合科研小组,基于其长期以来对液态金属变形效应、经典流体研究特别是液态金属在柔性机器人领域的基础探索,首次系统地提出了一种旨在研制未来尖端柔性机器人的一般原则,即:液体集成。相应工作以前瞻性论文形式应邀发表于Wiley旗下期刊Advanced Intelligent Sy ...中科院理化技术研究所 本站小编 Free考研 2020-05-25清华大学化学系王定胜副教授来理化所作报告
应“理化青年论坛”、中科院青促会理化所分会和中科院光化学转换与功能材料重点实验室邀请,清华大学化学系王定胜副教授于10月11日下午来理化所访问,并作了题为“原子尺度下的精准合成与催化反应”的报告。 报告中,王定胜副教授首先介绍了其课题组的研究领域,以及国内外在单原子、团簇和纳米晶作为负载型催化剂的 ...中科院理化技术研究所 本站小编 Free考研 2020-05-25清华大学段远源教授来理化所做报告
3月6日,清华大学能源与动力工程系段远源教授受邀来理化所做了题为《温度及其测量》的特邀讲座。该讲座是理化所研究生必修课程之一《动力工程及工程热物理前沿》课程第三讲,讲座由公茂琼研究员主持。温度、测量看似简单的两个单词却蕴含着丰富的科学内涵。段远源教授首先用一段视频作为开场,引出了温度和测量在科学研究 ...中科院理化技术研究所 本站小编 Free考研 2020-05-25清华大学徐志平教授访问理化所并做报告
应“理化青年论坛”和中科院仿生材料与界面科学重点实验室邀请,清华大学航空航天学院徐志平教授于10月31日下午来理化所交流访问,并做了题为Nanoscale Selective Fluidic Transport的学术报告。 报告中,徐志平教授从纳米限域环境中的分子结构出发,介绍了单纳米通道中分子的 ...中科院理化技术研究所 本站小编 Free考研 2020-05-25清华大学能源与动力工程系段远源教授来理化所进行学术交流
4月24日,应中科院低温工程学重点实验室和“理化青年论坛”暨青年创新促进会理化所分会邀请,清华大学能源与动力工程系段远源教授来理化所交流访问,并作了题为《中低温热能高效利用非共沸工质朗肯循环基础研究》的学术报告。 报告中,段远源教授介绍了新能源及余热利用现状及存在的问题,指出热功转换是中低温余热最 ...中科院理化技术研究所 本站小编 Free考研 2020-05-25理化所与清华大学提出研制未来尖端机器人一般原则:液体集成(I-LIFE)
近日,中科院理化所与清华大学联合科研小组,基于其长期以来对液态金属变形效应、经典流体研究特别是液态金属在柔性机器人领域的基础探索,首次系统地提出了一种旨在研制未来尖端柔性机器人的一般原则,即:液体集成。相应工作以前瞻性论文形式应邀发表于Wiley旗下期刊Advanced Intelligent Sy ...中科院理化技术研究所 本站小编 Free考研 2020-05-25植物所与清华大学合作首次解析硅藻光系统II-捕光天线超级复合体原子水平三维结构
硅藻是海洋主要的浮游生物之一,贡献了地球上每年原初生产力的20%左右,且在生物地球化学循环中起着重要作用,这些特征与其光系统(Photosystem,PS)以及外周捕光天线的功能密切相关。不同于绿藻和高等植物,硅藻PSII的外周捕光天线是结合了岩藻黄素和叶绿素a/c的蛋白(Fucoxanthin C ...中科院植物研究所 本站小编 Free考研 2020-05-23北京大学、清华大学和北京生命科学研究所联合培养博士研究生项目(PTN项目)2021年招生简章
北京大学、清华大学和北京生命科学研究所(NIBS)联合培养博士研究生项目即PTN项目,于2009年经教育部批准,旨在积极探索和推进具有中国特色又和国际接轨的博士研究生招生方式和培养机制,选拔优秀创新人才,充分发挥高等学校、科研院所和导师的积极性和主动性,对改革招生录取制度以及转变培养模式具有积极意义 ...北京生命科学研究所 本站小编 Free考研 2020-05-21北京大学、清华大学和北京生命科学研究所联合培养博士研究生项目(PTN项目)2020年招生简章
北京大学、清华大学和北京生命科学研究所(NIBS)联合培养博士研究生项目即PTN项目,于2009年经教育部批准,旨在积极探索和推进具有中国特色又和国际接轨的博士研究生招生方式和培养机制,选拔优秀创新人才,充分发挥高等学校、科研院所和导师的积极性和主动性,对改革招生录取制度以及转变培养模式具有积极意义 ...北京生命科学研究所 本站小编 Free考研 2020-05-21