新闻动态 小组研究成果被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
新闻动态 小组研究成果被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