新闻动态 小组两项研究成果被EuroSys 2025接收 Sep 29, 2024 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议,也是中国计算机学会推荐的 A 类会议,与SOSP、OSDI和ATC并称为... 小组研究成果被ACM会议CCS 2024接收 Sep 19, 2024 清华大学软件系统安全保障小组研究成果 “Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing” ... 小组成员苏卓的学位论文入选CCF形式化方法博士学位论文激励计划 Sep 09, 2024 CCF形式化方法博士学位论文激励计划,旨在加强形式化方法领域高层次创造性人才的培养工作,鼓励创新精神,提高形式化方法领域博士生教育的质量,激励年轻学者做出更多的优秀成果,表彰做出成果的年轻学者而设立。... 小组研究成果获USENIX Security’24杰出论文奖 Sep 04, 2024 2024年8月,在美国举办的第33届USENIX安全研讨会(USENIX Security '24)上,清华大学软件学院副教授姜宇及其课题组发表了题为“基于数据覆盖率的导向式模糊测试(Data Cov... 风华正茂,未来可期 | WingTecher小组欢送2024届毕业生 Aug 19, 2024 2024年6月28日下午,清华大学软件学院隆重举行了毕业典礼。 软件系统安全保障小组的三位博士生——罗正雄、马福辰、张明睿,以及四位硕士生——徐意如、于珺泽、喻泽弘、吴志镛,正式踏上了人生的新征程。 ... 小组成员罗正雄的学位论文入选CCF嵌入式系统博士学位论文激励计划 Aug 16, 2024 CCF嵌入式系统博士学位论文激励计划,旨在加强嵌入式系统领域高层次创造性人才的培养工作,鼓励创新精神,提高嵌入式系统领域博士生教育的质量,激励年轻学者做出更多的优秀成果,表彰做出成果的年轻学者而设立。... 小组两项研究成果被IEEE/ACM会议ASE 2024接收 Aug 13, 2024 IEEE/ACM International Conference on Automated Software Engineering (ASE)是自动化软件工程的顶级学术会议,每年汇集来自学术界和工... 小组研究成果被IEEE期刊TCAD接收 Aug 13, 2024 清华大学软件系统安全保障小组研究成果“Knight: Optimizing Code Generation for Simulink Models with Loop Reshaping”被期刊 IE... 小组两项研究成果被ACM会议EMSOFT 2024接收 Aug 12, 2024 作为嵌入式领域内的顶级会议,EMSOFT受到了来自学术界和工业界的研究人员和从业人员的广泛关注,今年接收于EMSOFT的论文会在CCF-A类期刊TCAD上发表。本次清华大学软件系统安全保障小组共有2项... 小组两项研究成果被ACM会议ISSTA 2024接收 Jul 17, 2024 ISSTA是关于软件测试和分析方向的高水平会议(CCF A类),2024年接收文章143篇,接收率20.6%。该会议每年汇集了来自学术界和工业界的研究人员和从业人员,重点关注软件测试技术和分析技术的创... 小组四项研究成果被IEEE/ACM会议ICSE 2025接收 Jul 16, 2024 IEEE/ACM International Conference on Software Engineering(ICSE)由IEEE与ACM联合主办,是软件工程领域公认的旗舰学术会议,关注软件工程... 小组研究成果被IEEE期刊 TSE 2024接收 Jul 15, 2024 清华大学软件系统安全保障小组研究成果“HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy”被期... 小组研究成果被ACM会议OOPSLA 2024接收 Jun 28, 2024 清华大学软件系统安全保障小组研究成果 “PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Sat... 小组研究成果被USENIX会议ATC 2024接收 Jun 18, 2024 清华大学软件系统安全保障小组研究成果“WingFuzz: Implementing Continuous Fuzzing for DBMSs”被2024 USENIX Annual Technical... 小组研究成果被USENIX会议Security 2024接收 Jun 17, 2024 清华大学软件系统安全保障小组提出了“数据覆盖率引导模糊测试”的创新方法,该项成果被USENIX Security 2024会议录用,论文题为 “Data Coverage for Guided Fuz... 小组三项研究成果被ESEC/FSE工业长文及 New Ideas接收 Apr 26, 2024 清华大学软件系统安全保障小组三项研究成果被会议The ACM Joint European Software Engineering Conference and Symposium on the F... 软件系统安全保障小组工作开源汇总 Mar 19, 2024 为了更好地进行学术同行交流,小组近期整理开源了32项无合作方限制的研究成果工具代码,涵盖了协议测试、数据库测试、区块链系统测试、浏览器测试、恶意软件检测、系统及应用防护、操作系统测试、深度学习系统测试... 小组研究成果被ACM会议ISSTA 2024接收 Mar 04, 2024 清华大学软件系统安全保障小组研究成果“Enhancing ROS System Fuzzing through Callback Tracing”被会议International Symposium ... 小组五项研究成果被第61届ACM/IEEE DAC 2024接收 Mar 01, 2024 Design Automation Conference(DAC)由IEEE与ACM联合主办,是集成电路辅助设计和嵌入式系统领域的国际顶级会议,迄今已有61年的历史,主要关注芯片、电路以及系统设计的新... 小组研究成果被IEEE/ACM会议ICSE 2024接收 Dec 24, 2023 清华大学软件系统安全保障小组研究成果“Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer”... 小组研究成果被IEEE/ACM会议ICSE(SEIP) 2024接收 Dec 22, 2023 清华大学软件系统安全保障小组研究成果“ Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors”被会议IEE... 小组研究成果被EuroSys 2024接收 Nov 10, 2023 清华大学软件系统安全保障小组研究成果“ Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program”... 小组两项研究成果被ISOC会议NDSS 2024接收 Oct 30, 2023 NDSS是安全领域的国际顶级学术会议,也是中国计算机学会推荐的 A 类会议,与 Oakland S&P, USENIX Security 和 ACM CCS 并称为计算机信息安全四大顶级会议。... 小组两项研究成果被IEEE/ACM会议ICSE 2024接收 Oct 15, 2023 IEEE/ACM International Conference on Software Engineering(ICSE)由IEEE与ACM联合主办,是软件工程领域公认的旗舰学术会议,关注软件工程... 小组研究成果被RTSS 2023接受 Oct 14, 2023 清华大学软件系统安全保障小组研究成果“Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux ” 被第44届IEEE... 小组研究成果被ACM期刊TOSEM 2023接收 Sep 14, 2023 清华大学软件系统安全保障小组研究成果 “CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Se... 小组两位博士后获批国家自然科学基金项目 Sep 07, 2023 近日,2023年度国家自然科学基金立项结果正式公布,软件系统安全保障小组博士后梁杰和苏卓喜获基金资助。梁杰博士申报的《时序数据库安全测试》获批国自然青年基金项目;苏卓博士申报的《模型驱动的嵌入式软件代... 小组研究成果被 ACM 会议 CCS 2023 接收 Aug 31, 2023 清华大学软件系统安全保障小组研究成果 “Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive... 小组研究成果被 IEEE 会议 S&P 2024 接收 Jul 18, 2023 清华大学软件系统安全保障小组研究成果 “SATURN: Host-Gadget Synergistic USB Driver Fuzzing” 被会议 IEEE Symposium on Securi... 小组两项研究成果被ACM会议OOPSLA 2023接收 Jul 11, 2023 Object-Oriented Programming, Systems, Languages & Applications(OOPSLA) 是程序语言和软件工程领域的顶级会议,其关注主题包括... 青春不散,韶华永熠 | WingTecher小组送别23届毕业生 Jun 29, 2023 寒来暑往,四序迁流,毕业季如约而至。2023年6月25日,清华大学举行了毕业典礼,软件系统安全保障小组也即将送别23届毕业生们。 两位博士毕业生苏卓、王明哲和三位硕士毕业生许怡文、孙浩、殷梓敬在学校的... 小组研究成果被ACM期刊TOSEM 2023接收 Jun 25, 2023 清华大学软件系统安全保障小组研究成果“Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Proced... 小组研究成果被ACM会议ISSTA 2023接收 May 04, 2023 清华大学软件系统安全保障小组研究成果“CoopHance: Cooperative Enhancement for Robustness of Deep Learning System”被会议Inte... 小组研究成果被IEEE会议S&P 2023接收 Mar 17, 2023 清华大学软件系统安全保障小组研究成果“Limits of I/O Based Ransomware Detection: An Imitation Based Attack”被会议 IEEE Symp... 小组研究成果被第60届ACM/IEEE DAC 2023接收 Feb 25, 2023 清华大学软件系统安全保障小组研究成果论文“STCG: State-Aware Test Case Generation for Simulink Models”被第60届"Design Automat... 小组研究成果被ACM会议ICSE 2023接收 Jan 20, 2023 清华大学软件系统安全保障小组研究成果 “DAISY: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis” 被会议 ... 小组研究成果被ISOC会议NDSS 2023接收 Dec 21, 2022 清华大学软件系统安全保障小组研究成果"LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensu... 小组研究成果被USENIX会议Security 2023接收 Dec 20, 2022 清华大学软件系统安全保障小组研究成果"Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations"被 USENIX Sec... 小组研究成果被IEEE会议S&P 2023接收 Dec 13, 2022 清华大学软件系统安全保障小组研究成果“Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent... 小组研究成果被IEEE会议ICDE 2022接收 Nov 09, 2022 清华大学软件系统安全保障小组研究成果“Sequence-Oriented DBMS Fuzzing”被会议International Conference on Data Engineering (I... 小组两项研究成果被IEEE/ACM 会议ASE 2022接收 Oct 02, 2022 作为自动化软件工程的顶级学术会议,IEEE/ACM ASE每年汇集了来自学术界和工业界的研究人员和从业人员,重点关注自动化大型软件系统的分析,设计,实施,测试和维护的基础,技术和工具。2022年,AS... 小组研究成果在ESEC/FSE 2022会议中获得ACM SIGSOFT 杰出论文奖 Oct 01, 2022 清华大学软件系统安全保障小组研究成果"Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis"在ESEC/FSE 2022会议中获得ACM... 小组研究成果被ACM期刊TOSEM 2022接受 Aug 16, 2022 清华大学软件系统安全保障小组研究成果“Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts ”被期刊AC... 小组研究论文被IEEE期刊TCAD接收 Aug 13, 2022 清华大学软件系统安全保障小组研究成果“PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructi... 小组获得2022长三角区块链应用创新大赛创新项目奖 Jul 15, 2022 2022年7月15日,长三角区块链应用创新大赛决赛及颁奖仪式在上海科学会堂国际会议厅举办。清华大学软件系统安全保障小组凭借参赛项目“跨层全栈区块链安全保障系统”获得大赛唯一的创新项目奖。小组参赛项目得... 小组四项研究成果被ACM 会议EMSOFT 2022接收 Jul 12, 2022 作为嵌入式领域内的顶级会议,EMSOFT受到了来自学术界和工业界的研究人员和从业人员的广泛关注,该会议是CCF推荐B类会议,同时在CCF推荐A类期刊TCAD上发表。2022年接收29篇文章,接收率为1... 小组研究成果被ACM会议ESEC/FSE 2022接收 Jun 14, 2022 清华大学软件系统安全保障小组研究成果”Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis”被ESEC/FSE 2022会议接收。该论文... 小组研究成果被USENIX会议 ATC 2022 接收 May 14, 2022 清华大学软件系统安全保障小组研究成果“KSG: Augmenting Kernel Fuzzing with System Call Specification Generation”被2022 US... 小组研究成果被ACM会议 ISSTA 2022 接收 Apr 20, 2022 清华大学软件系统安全保障小组研究成果“Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesi... 小组研究成果被ACM会议 PLDI 2022接收 Feb 28, 2022 清华大学软件系统安全保障小组研究成果 “Odin: On-Demand Instrumentation with On-the-Fly Recompilation” 被第 43 届 ACM 程序语言设... 小组研究成果被ACM/IEEE会议DAC 2022接收 Feb 27, 2022 清华大学软件系统安全保障小组研究成果“HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthe... 小组研究成果被ACM期刊TOSEM 2022接受 Feb 08, 2022 清华大学软件系统安全保障小组研究成果“Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Inten... 小组研究成果被ACM期刊 TOIT 2022接收 Jan 23, 2022 清华大学软件系统安全保障小组研究成果“V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability ”... 小组成员发现SymCrypt漏洞获得Microsoft官方致谢 Jan 14, 2022 近日,清华大学软件学院软件系统安全保障小组的研究生周远航发现Microsoft SymCrypt密码库中存在的逻辑漏洞,该漏洞将导致在某些操作系统下SymCrypt密码库MD4、MD5、AES等算法的... 小组研究成果被IEEE期刊TCAD 2021接收 Nov 27, 2021 清华大学软件系统安全保障小组研究成果“MDD: A Unified Model-driven Design Framework for Embedded Control Software”被期刊 IE... 小组成员发现Safari漏洞获得Apple官方致谢 Oct 27, 2021 近日,清华大学软件学院软件系统安全保障小组的研究生周炽金发现Safari中存在堆上的缓冲区溢出漏洞,目前该漏洞已提交给Apple官方进行确认并修复,编号为CVE-2021-30889。经Apple官方... 小组研究成果被IEEE汇刊TSE 2021接受 Sep 29, 2021 清华大学软件系统安全保障小组研究成果“Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios”被期刊IEEE Transactions ... 小组研究成果被ACM会议SOSP 2021接受 Sep 29, 2021 清华大学软件系统安全保障小组研究成果“HEALER: Relation Learning Guided Kernel Fuzzing”被会议 ACM Symposium on Operating Sy... 小组研究成果被IEEE期刊 TSE 2021接收 Sep 22, 2021 清华大学软件系统安全保障小组研究成果“RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems”被期刊IEE... 小组成员被IEEE汇刊T-SUSC 任命为副主编 Aug 03, 2021 姜宇老师被任命为IEEE Transactions on Sustainable Computing (T-SUSC)期刊副主编. 期刊围绕可持续计算方向,探索软硬件协同设计的研究和技术问题,涵盖算... 小组研究成果被ACM 会议EMSOFT 2021接收 Jul 13, 2021 清华大学软件系统安全保障小组研究成果“Rtkaller: State-aware Task Generation for RTOS Fuzzing”被 ACM EMSOFT (The ACM SIGB... 小组研究成果被IEEE会议 S&P 2021接受 Jul 05, 2021 清华大学软件系统安全保障小组研究成果“PATA: Fuzzing with Path Aware Taint Analysis” 被会议 IEEE Symposium on Security and ... 小组研究成果被ACM会议ESEC/FSE 2021接受 Jul 05, 2021 清华大学软件系统安全保障小组研究成果“Making Smart Contract Development More Secure and Easier”被ESEC/FSE 2021工业长文接收。 该论... 小组研究成果被USENIX会议ATC 2021 接收 Jun 05, 2021 清华大学软件系统安全保障小组研究成果 “RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing” 被会议 USENIX Annu... 小组研究成果被ACM会议ISSTA 2021接收 May 10, 2021 清华大学软件系统安全保障小组研究成果“AdvDoor: Adversarial Backdoor Attack of Deep Learning System”被第30届ACM SIGSOFT ISS... 小组研究成果被ACM会议ISSTA 2021接收 Apr 25, 2021 清华大学软件系统安全保障小组研究成果“Empirical Evaluation of Smart Contract Testing: What is the Best Choice”被第30届ACM ... 小组研究成果被评选为IEEE会议ICST 2021 最佳论文 Apr 19, 2021 清华大学软件系统安全保障小组研究成果"Poster: Fuzz Testing of Quantum Program"被会议 IEEE International Conference on Soft... 小组研究成果被IEEE会议RTAS 2021接收 Apr 06, 2021 清华大学软件系统安全保障小组研究成果"Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT"被第27届IEEE R... 小组研究成果被ELSEVIER期刊 IPM 2021接收 Feb 27, 2021 清华大学软件系统安全保障小组研究成果“Security Reinforcement for Ethereum Virtual Machine”被期刊ELSEVIER Information Proce... 小组研究成果被ACM/IEEE会议 DAC 2021接收 Feb 20, 2021 清华大学软件系统安全保障小组研究成果"PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles"被第58届"D... 小组研究成果被IEEE期刊TCAD 2021接收 Jan 17, 2021 清华大学软件系统安全保障小组研究成果“Code Synthesis for Dataflow Based Embedded Software Design”被期刊 IEEE Transactions ... 小组研究成果被ACM会议ICSE 2021 接收 Jan 16, 2021 清华大学软件系统安全保障小组研究成果“IntelliGen: Automatic Driver Synthesis for FuzzTesting"被ICSE(the International Co... 小组研究成果被ACM会议ICSE 2021 接收 Jan 15, 2021 清华大学软件系统安全保障小组研究成果“Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing” 被会议 Internati... 小组研究成果被IEEE会议 ICST 2021接收 Dec 13, 2020 清华大学软件系统安全保障小组研究成果“How Does Fuzzing Techniques Perform in Real Industrial Settings?” 被期刊 IEEE Intern... 小组研究成果被IEEE会议ASE 2020接收 Jul 30, 2020 清华大学软件系统安全保障小组研究成果“Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling”被35th... 小组研究成果被ACM会议 EMSOFT 2020接收 Jul 09, 2020 清华大学软件系统安全保障小组研究成果“EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking”被 ACM EMSOFT (The A... 小组成员入选2020年腾讯犀牛鸟精英人才培养计划 Apr 25, 2020 博士生马福辰入选2020年腾讯犀牛鸟精英人才培养计划,该计划于2019年12月10日至2020年1月19日开放申请,共收到来自全球70余所高校和研究机构近170名学生的申请。经过申报、函... 小组成员被 CCF-B 类期刊 ELSEVIER JSA 任命为副主编 Apr 24, 2020 姜宇老师被任命为ELSEVIER Journal of Systems Architecture 期刊副主编,系统架构及嵌入式软件设计杂志,是涵盖嵌入式系统和软件系统设计方向的著名期刊,也是CCF B... 小组研究成果被IEEE期刊 TNSE 2020接收 Apr 12, 2020 清华大学软件系统安全保障小组研究成果“Coverage Guided Differential Adversarial Testing of Deep Learning Systems”被期刊 IEE... 小组研究成果被ACM/IEEE会议DAC 2020接收 Feb 17, 2020 清华大学软件系统安全保障小组研究成果“ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation”被 ACM/IEE... 小组研究成果被ACM会议ICSE 2020 接收,并获最佳论文提名 Feb 05, 2020 清华大学软件系统安全保障小组研究成果“Escape from Escape Analysis of Golang"被ICSE(the International Conference on S... 小组研究成果被IEEE 期刊 TDSC 2019接收 Dec 09, 2019 清华大学软件系统安全保障小组研究成果“DeepFuzzer: Accelerated Deep Greybox Fuzzing”被期刊IEEE Transactions on Depen... 小组研究成果被IEEE期刊TSE 2019接收 Nov 18, 2019 清华大学软件系统安全保障小组研究成果“Semantic Learning and Emulation Based Cross-platform Binary Vulnerability ... 小组研究成果被IEEE期刊TII 2019 接收 Sep 20, 2019 清华大学软件系统安全保障小组研究成果“Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT ... 小组研究成果被IEEE会议ISSRE 2019接收 Aug 26, 2019 清华大学软件系统安全保障小组研究成果“Go-Sanitizer: Bug-Oriented Assertion Generation for Golang”被ISSRE (Internatio... 小组研究成果被ACM会议ISSTA 2019接收 Aug 26, 2019 清华大学软件系统安全保障小组研究成果“Go-Clone: Graph-Embedding Based Clone Detector for Golang”被ISSTA (The ACM SIG... 小组研究成果被IEEE会议ASE 2019接收 Aug 22, 2019 清华大学软件系统安全保障小组研究成果“VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualizatio... 小组研究成果被IEEE会议ISSRE 2019接收 Aug 07, 2019 清华大学软件系统安全保障小组研究成果“Engineering a Better Fuzzer with Synergically Integrated Optimizations” 被ISSR... 小组研究成果被IEEE/ACM会议EMSOFT 2019 接收,并获最佳论文提名 Jul 13, 2019 清华大学软件系统安全保障小组研究成果“Polar: Function Code Aware Fuzz Testing of ICS Protocol”被 IEEE/ACM EMSOFT (... 小组研究成果被IEEE期刊TII 2019接收 Jul 12, 2019 清华大学软件系统安全保障小组研究成果“Vulnerable Code Clone Detection for Operating System through Correlation Indu... 小组研究成果被ACM会议ESEC/FSE 2019 接收 Jun 17, 2019 清华大学软件系统安全保障小组研究成果“EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing”被ESEC/FSE 2019工具论文接收。... 小组研究成果被ACM会议ESEC/FSE 2019 接收 Jun 16, 2019 清华大学软件系统安全保障小组研究成果“Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing" in th... 小组成员获得libjpeg库官方人员致谢 Jun 04, 2019 近日,清华大学软件学院软件系统安全保障小组发现一例libjpeg 漏洞(CVE-2018-11813),涉及的漏洞的版本为libjpeg-9c以及之前的版本。目前该漏洞已提交给维护该库的The Ind... 小组研究成果被USENIX会议Security 2019接收 May 07, 2019 清华大学软件系统安全保障小组研究成果论文“EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers” 被第28届USENIX Security 2019接收。 小组研究成果被IEEE/ACM会议ICPC 2020接收 Mar 08, 2019 清华大学软件系统安全保障小组研究成果论文“Enabling Clone Detection For Ethereum via Smart Contract Birthmarks”被第27届IEEE/ACM国际程序理解大会(ICPC 2019)接收。 清华团队荣获金链盟大赛三等奖 Jan 16, 2019 12月21日,金链盟中国区块链应用大赛(以下简称“金链盟大赛”)总决赛在深圳落下帷幕。基于区块链技术高效处理网上纠纷的司法仲裁链——ODRChain,以成熟的项目运作、真实落地并上线稳定运营,以及具备... 合作单位 Cooperations
新闻动态 小组两项研究成果被EuroSys 2025接收 Sep 29, 2024 The European Conference on Computer Systems (EuroSys) 是系统领域旗舰会议,也是中国计算机学会推荐的 A 类会议,与SOSP、OSDI和ATC并称为... 小组研究成果被ACM会议CCS 2024接收 Sep 19, 2024 清华大学软件系统安全保障小组研究成果 “Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing” ... 小组成员苏卓的学位论文入选CCF形式化方法博士学位论文激励计划 Sep 09, 2024 CCF形式化方法博士学位论文激励计划,旨在加强形式化方法领域高层次创造性人才的培养工作,鼓励创新精神,提高形式化方法领域博士生教育的质量,激励年轻学者做出更多的优秀成果,表彰做出成果的年轻学者而设立。... 小组研究成果获USENIX Security’24杰出论文奖 Sep 04, 2024 2024年8月,在美国举办的第33届USENIX安全研讨会(USENIX Security '24)上,清华大学软件学院副教授姜宇及其课题组发表了题为“基于数据覆盖率的导向式模糊测试(Data Cov... 风华正茂,未来可期 | WingTecher小组欢送2024届毕业生 Aug 19, 2024 2024年6月28日下午,清华大学软件学院隆重举行了毕业典礼。 软件系统安全保障小组的三位博士生——罗正雄、马福辰、张明睿,以及四位硕士生——徐意如、于珺泽、喻泽弘、吴志镛,正式踏上了人生的新征程。 ... 小组成员罗正雄的学位论文入选CCF嵌入式系统博士学位论文激励计划 Aug 16, 2024 CCF嵌入式系统博士学位论文激励计划,旨在加强嵌入式系统领域高层次创造性人才的培养工作,鼓励创新精神,提高嵌入式系统领域博士生教育的质量,激励年轻学者做出更多的优秀成果,表彰做出成果的年轻学者而设立。... 小组两项研究成果被IEEE/ACM会议ASE 2024接收 Aug 13, 2024 IEEE/ACM International Conference on Automated Software Engineering (ASE)是自动化软件工程的顶级学术会议,每年汇集来自学术界和工... 小组研究成果被IEEE期刊TCAD接收 Aug 13, 2024 清华大学软件系统安全保障小组研究成果“Knight: Optimizing Code Generation for Simulink Models with Loop Reshaping”被期刊 IE... 小组两项研究成果被ACM会议EMSOFT 2024接收 Aug 12, 2024 作为嵌入式领域内的顶级会议,EMSOFT受到了来自学术界和工业界的研究人员和从业人员的广泛关注,今年接收于EMSOFT的论文会在CCF-A类期刊TCAD上发表。本次清华大学软件系统安全保障小组共有2项... 小组两项研究成果被ACM会议ISSTA 2024接收 Jul 17, 2024 ISSTA是关于软件测试和分析方向的高水平会议(CCF A类),2024年接收文章143篇,接收率20.6%。该会议每年汇集了来自学术界和工业界的研究人员和从业人员,重点关注软件测试技术和分析技术的创... 小组四项研究成果被IEEE/ACM会议ICSE 2025接收 Jul 16, 2024 IEEE/ACM International Conference on Software Engineering(ICSE)由IEEE与ACM联合主办,是软件工程领域公认的旗舰学术会议,关注软件工程... 小组研究成果被IEEE期刊 TSE 2024接收 Jul 15, 2024 清华大学软件系统安全保障小组研究成果“HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy”被期... 小组研究成果被ACM会议OOPSLA 2024接收 Jun 28, 2024 清华大学软件系统安全保障小组研究成果 “PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Sat... 小组研究成果被USENIX会议ATC 2024接收 Jun 18, 2024 清华大学软件系统安全保障小组研究成果“WingFuzz: Implementing Continuous Fuzzing for DBMSs”被2024 USENIX Annual Technical... 小组研究成果被USENIX会议Security 2024接收 Jun 17, 2024 清华大学软件系统安全保障小组提出了“数据覆盖率引导模糊测试”的创新方法,该项成果被USENIX Security 2024会议录用,论文题为 “Data Coverage for Guided Fuz... 小组三项研究成果被ESEC/FSE工业长文及 New Ideas接收 Apr 26, 2024 清华大学软件系统安全保障小组三项研究成果被会议The ACM Joint European Software Engineering Conference and Symposium on the F... 软件系统安全保障小组工作开源汇总 Mar 19, 2024 为了更好地进行学术同行交流,小组近期整理开源了32项无合作方限制的研究成果工具代码,涵盖了协议测试、数据库测试、区块链系统测试、浏览器测试、恶意软件检测、系统及应用防护、操作系统测试、深度学习系统测试... 小组研究成果被ACM会议ISSTA 2024接收 Mar 04, 2024 清华大学软件系统安全保障小组研究成果“Enhancing ROS System Fuzzing through Callback Tracing”被会议International Symposium ... 小组五项研究成果被第61届ACM/IEEE DAC 2024接收 Mar 01, 2024 Design Automation Conference(DAC)由IEEE与ACM联合主办,是集成电路辅助设计和嵌入式系统领域的国际顶级会议,迄今已有61年的历史,主要关注芯片、电路以及系统设计的新... 小组研究成果被IEEE/ACM会议ICSE 2024接收 Dec 24, 2023 清华大学软件系统安全保障小组研究成果“Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer”... 小组研究成果被IEEE/ACM会议ICSE(SEIP) 2024接收 Dec 22, 2023 清华大学软件系统安全保障小组研究成果“ Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors”被会议IEE... 小组研究成果被EuroSys 2024接收 Nov 10, 2023 清华大学软件系统安全保障小组研究成果“ Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program”... 小组两项研究成果被ISOC会议NDSS 2024接收 Oct 30, 2023 NDSS是安全领域的国际顶级学术会议,也是中国计算机学会推荐的 A 类会议,与 Oakland S&P, USENIX Security 和 ACM CCS 并称为计算机信息安全四大顶级会议。... 小组两项研究成果被IEEE/ACM会议ICSE 2024接收 Oct 15, 2023 IEEE/ACM International Conference on Software Engineering(ICSE)由IEEE与ACM联合主办,是软件工程领域公认的旗舰学术会议,关注软件工程... 小组研究成果被RTSS 2023接受 Oct 14, 2023 清华大学软件系统安全保障小组研究成果“Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux ” 被第44届IEEE... 小组研究成果被ACM期刊TOSEM 2023接收 Sep 14, 2023 清华大学软件系统安全保障小组研究成果 “CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Se... 小组两位博士后获批国家自然科学基金项目 Sep 07, 2023 近日,2023年度国家自然科学基金立项结果正式公布,软件系统安全保障小组博士后梁杰和苏卓喜获基金资助。梁杰博士申报的《时序数据库安全测试》获批国自然青年基金项目;苏卓博士申报的《模型驱动的嵌入式软件代... 小组研究成果被 ACM 会议 CCS 2023 接收 Aug 31, 2023 清华大学软件系统安全保障小组研究成果 “Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive... 小组研究成果被 IEEE 会议 S&P 2024 接收 Jul 18, 2023 清华大学软件系统安全保障小组研究成果 “SATURN: Host-Gadget Synergistic USB Driver Fuzzing” 被会议 IEEE Symposium on Securi... 小组两项研究成果被ACM会议OOPSLA 2023接收 Jul 11, 2023 Object-Oriented Programming, Systems, Languages & Applications(OOPSLA) 是程序语言和软件工程领域的顶级会议,其关注主题包括... 青春不散,韶华永熠 | WingTecher小组送别23届毕业生 Jun 29, 2023 寒来暑往,四序迁流,毕业季如约而至。2023年6月25日,清华大学举行了毕业典礼,软件系统安全保障小组也即将送别23届毕业生们。 两位博士毕业生苏卓、王明哲和三位硕士毕业生许怡文、孙浩、殷梓敬在学校的... 小组研究成果被ACM期刊TOSEM 2023接收 Jun 25, 2023 清华大学软件系统安全保障小组研究成果“Horus: Accelerating Kernel Fuzzing Through Efficient Host-VM Memory Access Proced... 小组研究成果被ACM会议ISSTA 2023接收 May 04, 2023 清华大学软件系统安全保障小组研究成果“CoopHance: Cooperative Enhancement for Robustness of Deep Learning System”被会议Inte... 小组研究成果被IEEE会议S&P 2023接收 Mar 17, 2023 清华大学软件系统安全保障小组研究成果“Limits of I/O Based Ransomware Detection: An Imitation Based Attack”被会议 IEEE Symp... 小组研究成果被第60届ACM/IEEE DAC 2023接收 Feb 25, 2023 清华大学软件系统安全保障小组研究成果论文“STCG: State-Aware Test Case Generation for Simulink Models”被第60届"Design Automat... 小组研究成果被ACM会议ICSE 2023接收 Jan 20, 2023 清华大学软件系统安全保障小组研究成果 “DAISY: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis” 被会议 ... 小组研究成果被ISOC会议NDSS 2023接收 Dec 21, 2022 清华大学软件系统安全保障小组研究成果"LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensu... 小组研究成果被USENIX会议Security 2023接收 Dec 20, 2022 清华大学软件系统安全保障小组研究成果"Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations"被 USENIX Sec... 小组研究成果被IEEE会议S&P 2023接收 Dec 13, 2022 清华大学软件系统安全保障小组研究成果“Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent... 小组研究成果被IEEE会议ICDE 2022接收 Nov 09, 2022 清华大学软件系统安全保障小组研究成果“Sequence-Oriented DBMS Fuzzing”被会议International Conference on Data Engineering (I... 小组两项研究成果被IEEE/ACM 会议ASE 2022接收 Oct 02, 2022 作为自动化软件工程的顶级学术会议,IEEE/ACM ASE每年汇集了来自学术界和工业界的研究人员和从业人员,重点关注自动化大型软件系统的分析,设计,实施,测试和维护的基础,技术和工具。2022年,AS... 小组研究成果在ESEC/FSE 2022会议中获得ACM SIGSOFT 杰出论文奖 Oct 01, 2022 清华大学软件系统安全保障小组研究成果"Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis"在ESEC/FSE 2022会议中获得ACM... 小组研究成果被ACM期刊TOSEM 2022接受 Aug 16, 2022 清华大学软件系统安全保障小组研究成果“Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts ”被期刊AC... 小组研究论文被IEEE期刊TCAD接收 Aug 13, 2022 清华大学软件系统安全保障小组研究成果“PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructi... 小组获得2022长三角区块链应用创新大赛创新项目奖 Jul 15, 2022 2022年7月15日,长三角区块链应用创新大赛决赛及颁奖仪式在上海科学会堂国际会议厅举办。清华大学软件系统安全保障小组凭借参赛项目“跨层全栈区块链安全保障系统”获得大赛唯一的创新项目奖。小组参赛项目得... 小组四项研究成果被ACM 会议EMSOFT 2022接收 Jul 12, 2022 作为嵌入式领域内的顶级会议,EMSOFT受到了来自学术界和工业界的研究人员和从业人员的广泛关注,该会议是CCF推荐B类会议,同时在CCF推荐A类期刊TCAD上发表。2022年接收29篇文章,接收率为1... 小组研究成果被ACM会议ESEC/FSE 2022接收 Jun 14, 2022 清华大学软件系统安全保障小组研究成果”Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis”被ESEC/FSE 2022会议接收。该论文... 小组研究成果被USENIX会议 ATC 2022 接收 May 14, 2022 清华大学软件系统安全保障小组研究成果“KSG: Augmenting Kernel Fuzzing with System Call Specification Generation”被2022 US... 小组研究成果被ACM会议 ISSTA 2022 接收 Apr 20, 2022 清华大学软件系统安全保障小组研究成果“Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesi... 小组研究成果被ACM会议 PLDI 2022接收 Feb 28, 2022 清华大学软件系统安全保障小组研究成果 “Odin: On-Demand Instrumentation with On-the-Fly Recompilation” 被第 43 届 ACM 程序语言设... 小组研究成果被ACM/IEEE会议DAC 2022接收 Feb 27, 2022 清华大学软件系统安全保障小组研究成果“HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthe... 小组研究成果被ACM期刊TOSEM 2022接受 Feb 08, 2022 清华大学软件系统安全保障小组研究成果“Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Inten... 小组研究成果被ACM期刊 TOIT 2022接收 Jan 23, 2022 清华大学软件系统安全保障小组研究成果“V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability ”... 小组成员发现SymCrypt漏洞获得Microsoft官方致谢 Jan 14, 2022 近日,清华大学软件学院软件系统安全保障小组的研究生周远航发现Microsoft SymCrypt密码库中存在的逻辑漏洞,该漏洞将导致在某些操作系统下SymCrypt密码库MD4、MD5、AES等算法的... 小组研究成果被IEEE期刊TCAD 2021接收 Nov 27, 2021 清华大学软件系统安全保障小组研究成果“MDD: A Unified Model-driven Design Framework for Embedded Control Software”被期刊 IE... 小组成员发现Safari漏洞获得Apple官方致谢 Oct 27, 2021 近日,清华大学软件学院软件系统安全保障小组的研究生周炽金发现Safari中存在堆上的缓冲区溢出漏洞,目前该漏洞已提交给Apple官方进行确认并修复,编号为CVE-2021-30889。经Apple官方... 小组研究成果被IEEE汇刊TSE 2021接受 Sep 29, 2021 清华大学软件系统安全保障小组研究成果“Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios”被期刊IEEE Transactions ... 小组研究成果被ACM会议SOSP 2021接受 Sep 29, 2021 清华大学软件系统安全保障小组研究成果“HEALER: Relation Learning Guided Kernel Fuzzing”被会议 ACM Symposium on Operating Sy... 小组研究成果被IEEE期刊 TSE 2021接收 Sep 22, 2021 清华大学软件系统安全保障小组研究成果“RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems”被期刊IEE... 小组成员被IEEE汇刊T-SUSC 任命为副主编 Aug 03, 2021 姜宇老师被任命为IEEE Transactions on Sustainable Computing (T-SUSC)期刊副主编. 期刊围绕可持续计算方向,探索软硬件协同设计的研究和技术问题,涵盖算... 小组研究成果被ACM 会议EMSOFT 2021接收 Jul 13, 2021 清华大学软件系统安全保障小组研究成果“Rtkaller: State-aware Task Generation for RTOS Fuzzing”被 ACM EMSOFT (The ACM SIGB... 小组研究成果被IEEE会议 S&P 2021接受 Jul 05, 2021 清华大学软件系统安全保障小组研究成果“PATA: Fuzzing with Path Aware Taint Analysis” 被会议 IEEE Symposium on Security and ... 小组研究成果被ACM会议ESEC/FSE 2021接受 Jul 05, 2021 清华大学软件系统安全保障小组研究成果“Making Smart Contract Development More Secure and Easier”被ESEC/FSE 2021工业长文接收。 该论... 小组研究成果被USENIX会议ATC 2021 接收 Jun 05, 2021 清华大学软件系统安全保障小组研究成果 “RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing” 被会议 USENIX Annu... 小组研究成果被ACM会议ISSTA 2021接收 May 10, 2021 清华大学软件系统安全保障小组研究成果“AdvDoor: Adversarial Backdoor Attack of Deep Learning System”被第30届ACM SIGSOFT ISS... 小组研究成果被ACM会议ISSTA 2021接收 Apr 25, 2021 清华大学软件系统安全保障小组研究成果“Empirical Evaluation of Smart Contract Testing: What is the Best Choice”被第30届ACM ... 小组研究成果被评选为IEEE会议ICST 2021 最佳论文 Apr 19, 2021 清华大学软件系统安全保障小组研究成果"Poster: Fuzz Testing of Quantum Program"被会议 IEEE International Conference on Soft... 小组研究成果被IEEE会议RTAS 2021接收 Apr 06, 2021 清华大学软件系统安全保障小组研究成果"Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT"被第27届IEEE R... 小组研究成果被ELSEVIER期刊 IPM 2021接收 Feb 27, 2021 清华大学软件系统安全保障小组研究成果“Security Reinforcement for Ethereum Virtual Machine”被期刊ELSEVIER Information Proce... 小组研究成果被ACM/IEEE会议 DAC 2021接收 Feb 20, 2021 清华大学软件系统安全保障小组研究成果"PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles"被第58届"D... 小组研究成果被IEEE期刊TCAD 2021接收 Jan 17, 2021 清华大学软件系统安全保障小组研究成果“Code Synthesis for Dataflow Based Embedded Software Design”被期刊 IEEE Transactions ... 小组研究成果被ACM会议ICSE 2021 接收 Jan 16, 2021 清华大学软件系统安全保障小组研究成果“IntelliGen: Automatic Driver Synthesis for FuzzTesting"被ICSE(the International Co... 小组研究成果被ACM会议ICSE 2021 接收 Jan 15, 2021 清华大学软件系统安全保障小组研究成果“Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing” 被会议 Internati... 小组研究成果被IEEE会议 ICST 2021接收 Dec 13, 2020 清华大学软件系统安全保障小组研究成果“How Does Fuzzing Techniques Perform in Real Industrial Settings?” 被期刊 IEEE Intern... 小组研究成果被IEEE会议ASE 2020接收 Jul 30, 2020 清华大学软件系统安全保障小组研究成果“Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling”被35th... 小组研究成果被ACM会议 EMSOFT 2020接收 Jul 09, 2020 清华大学软件系统安全保障小组研究成果“EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking”被 ACM EMSOFT (The A... 小组成员入选2020年腾讯犀牛鸟精英人才培养计划 Apr 25, 2020 博士生马福辰入选2020年腾讯犀牛鸟精英人才培养计划,该计划于2019年12月10日至2020年1月19日开放申请,共收到来自全球70余所高校和研究机构近170名学生的申请。经过申报、函... 小组成员被 CCF-B 类期刊 ELSEVIER JSA 任命为副主编 Apr 24, 2020 姜宇老师被任命为ELSEVIER Journal of Systems Architecture 期刊副主编,系统架构及嵌入式软件设计杂志,是涵盖嵌入式系统和软件系统设计方向的著名期刊,也是CCF B... 小组研究成果被IEEE期刊 TNSE 2020接收 Apr 12, 2020 清华大学软件系统安全保障小组研究成果“Coverage Guided Differential Adversarial Testing of Deep Learning Systems”被期刊 IEE... 小组研究成果被ACM/IEEE会议DAC 2020接收 Feb 17, 2020 清华大学软件系统安全保障小组研究成果“ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation”被 ACM/IEE... 小组研究成果被ACM会议ICSE 2020 接收,并获最佳论文提名 Feb 05, 2020 清华大学软件系统安全保障小组研究成果“Escape from Escape Analysis of Golang"被ICSE(the International Conference on S... 小组研究成果被IEEE 期刊 TDSC 2019接收 Dec 09, 2019 清华大学软件系统安全保障小组研究成果“DeepFuzzer: Accelerated Deep Greybox Fuzzing”被期刊IEEE Transactions on Depen... 小组研究成果被IEEE期刊TSE 2019接收 Nov 18, 2019 清华大学软件系统安全保障小组研究成果“Semantic Learning and Emulation Based Cross-platform Binary Vulnerability ... 小组研究成果被IEEE期刊TII 2019 接收 Sep 20, 2019 清华大学软件系统安全保障小组研究成果“Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT ... 小组研究成果被IEEE会议ISSRE 2019接收 Aug 26, 2019 清华大学软件系统安全保障小组研究成果“Go-Sanitizer: Bug-Oriented Assertion Generation for Golang”被ISSRE (Internatio... 小组研究成果被ACM会议ISSTA 2019接收 Aug 26, 2019 清华大学软件系统安全保障小组研究成果“Go-Clone: Graph-Embedding Based Clone Detector for Golang”被ISSTA (The ACM SIG... 小组研究成果被IEEE会议ASE 2019接收 Aug 22, 2019 清华大学软件系统安全保障小组研究成果“VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualizatio... 小组研究成果被IEEE会议ISSRE 2019接收 Aug 07, 2019 清华大学软件系统安全保障小组研究成果“Engineering a Better Fuzzer with Synergically Integrated Optimizations” 被ISSR... 小组研究成果被IEEE/ACM会议EMSOFT 2019 接收,并获最佳论文提名 Jul 13, 2019 清华大学软件系统安全保障小组研究成果“Polar: Function Code Aware Fuzz Testing of ICS Protocol”被 IEEE/ACM EMSOFT (... 小组研究成果被IEEE期刊TII 2019接收 Jul 12, 2019 清华大学软件系统安全保障小组研究成果“Vulnerable Code Clone Detection for Operating System through Correlation Indu... 小组研究成果被ACM会议ESEC/FSE 2019 接收 Jun 17, 2019 清华大学软件系统安全保障小组研究成果“EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing”被ESEC/FSE 2019工具论文接收。... 小组研究成果被ACM会议ESEC/FSE 2019 接收 Jun 16, 2019 清华大学软件系统安全保障小组研究成果“Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing" in th... 小组成员获得libjpeg库官方人员致谢 Jun 04, 2019 近日,清华大学软件学院软件系统安全保障小组发现一例libjpeg 漏洞(CVE-2018-11813),涉及的漏洞的版本为libjpeg-9c以及之前的版本。目前该漏洞已提交给维护该库的The Ind... 小组研究成果被USENIX会议Security 2019接收 May 07, 2019 清华大学软件系统安全保障小组研究成果论文“EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers” 被第28届USENIX Security 2019接收。 小组研究成果被IEEE/ACM会议ICPC 2020接收 Mar 08, 2019 清华大学软件系统安全保障小组研究成果论文“Enabling Clone Detection For Ethereum via Smart Contract Birthmarks”被第27届IEEE/ACM国际程序理解大会(ICPC 2019)接收。 清华团队荣获金链盟大赛三等奖 Jan 16, 2019 12月21日,金链盟中国区块链应用大赛(以下简称“金链盟大赛”)总决赛在深圳落下帷幕。基于区块链技术高效处理网上纠纷的司法仲裁链——ODRChain,以成熟的项目运作、真实落地并上线稳定运营,以及具备... 合作单位 Cooperations