logo

近期代表性成果举例

  • 设计了细粒度的漏洞模式以及相应的修复模式,提出了ReDoS漏洞定位和修复框架RegexScalpel(USENIX Security 2022录用)

  • 创新性地系统提出了ReDoS漏洞检测的形式化条件,并解决了ReDoS检测如何同时达到高准确率与高召回率的未决问题,设计实现了动静态结合的检测工具—ReDoSHunter. 由于ReDoSHunter的卓越性能,目前软件所在ReDoS相关的CVEs披露数量排名中位居国际首位(USENIX Security 2021录用)

  • 提出了新颖的多模态合成正则表达式算法,其率先将基于自然语言和示例的正则表达式合成问题分解为两个子问题,即基于自然语言的合成问题和基于示例的修复问题(发表在ICSE2021)

  • 提出了首个抗ReDoS攻击的正则表达式的合成与修复算法,其通过去除正则表达式的歧义来生成或修复出无ReDoS漏洞的正则表达式(发表在ASE 2020)

  • 提出了设计高质量XML Schema的方法与工具(发表在ICDE 2020)

  • 提出了确定性表达式的若干新子类及推断算法(发表在DASFAA 2021, 2019 ER, PAKDD, WISE, SOFSEM, KSEM, APWEB-WAIM, ADMA, IDEAS等)

  • 提出了表达式非确定性的诊断概念和相应的诊断算法,以及强确定性表达式的线性判定算法(强确定性已有算法是3次时间)(发表在Information and Computation, DLT, APWeb)

  • 提出了无序正则表达式的强、弱确定性的复杂度为O(|Σ||E|) 的判定算法,它们是此问题的第一个算法(初步结果发表在ICTAC, 进一步的结果准备中)

  • 解决了为XML处理语言扩展参数多态化功能的问题(发表在POPL, ICFP)

  • 提出了扩展正则表达式的若干自动机模型及推断算法(投稿中)

  • 通过对大规模网络数据的分析、加工,得到了第一个大规模确定性表达式的模式库,并进行了若干应用(发表在PAKDD)

  • 大规模网络数据的获取、分析与应用(发表在IDEAS)

  • 在国际上第一个解决了确定性表达式的语法表示问题。从而解决了使用确定性表达式的主要困难之一,即确定性表达式只有语义定义而没有语法定义。提出了扩展确定性表达式的第一个文法,证明所属的文法类为上下文无关文法,给出了判定有效文法产生式的规则,可以有效减少产生式的数量,提出了文法的随机生成算法(初结果发表在ICTAC)

  • 提出了标准确定性表达式的第一个文法,证明所属的文法类为上下文无关文法,给出了判定有效文法产生式的规则,可以有效减少产生式的数量,提出了文法的随机生成算法(发表在The Computer Journal)

  • 提出了标准确定性表达式的一个常用子类dCHARE 的一个正规文法与文法的随机生成算法(发表在SOFSEM)

  • 设计实现了上下文无关文法的句子生成工具(发表在IJSI, SEFM)

  • 证明了判定一个单字母表的标准正则表达式是否对应于一个确定性正则表达式是coNP完全的(发表在Information and Computation)

  • 判定正则语言确定性是PSPACE-Complete的(发表在Theory Comput Syst)

  • 提出了推断无序正则表达式的近似算法和启发式算法,目前尚无其它类似的算法(发表在APWeb)

  • 给出了(限界的)字符单次出现确定性正则语言在不同条件下所对应的复杂度(发表在MFCS)

  • 确定性表达式的包含判定算法与子类型判定算法(发表在Science of Computer Programming, ICTAC, ICYCS, 软件学报)

  • LFC语言的理论和算法(发表在Knowledge-Based Systems, JCST, TAMC, SOFSEM等)



  • Last updated: 2022-07-26丨Copyright © DEPSO丨京ICP备 2021018805号-1