Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
本文针对从黑盒实时系统中提取时间行为的挑战，通过引入简单基本语言和定时增强前缀接受器，并利用SMT求解技术来生成与给定系统行为一致的确定性时间自动机。
0 citationsRead paper
Selected work
Representative Papers
Breaking the 1/3 Barrier for $\boldsymbol{k}$-Submodular Maximization under Matroid and Knapsack Constraints: A Proportional Top-2 Randomized Framework
本文解决了非单调k-次模函数在拟阵和背包约束下的最大化问题，通过比例Top-2随机化框架突破了1/3的近似比障碍。
0 citationsRead paper
Cryptanalytic Extraction of Neural Networks Without Known Architecture Assumption
本文提出了一种无需已知网络架构即可恢复ReLU全连接神经网络架构和参数的猜测-确定框架，通过识别两种架构敏感痕迹实现。
0 citationsRead paper
Hieronym: Leveraging Hierarchical Multi-Source Information for Function Renaming in Stripped Binary
本文提出Hieronym，一种基于生成式大语言模型的框架，通过整合多层次信息提高被剥离二进制文件函数重命名的准确性与可读性。
0 citationsRead paper
One Click to Leak: Characterizing the Real-World Usage and Threat Impact of MNO-based Single Sign-On Websites
研究分析了基于移动网络运营商的单点登录网站的安全风险，通过设计检测框架识别出存在信任缺陷的网站，并揭示了一键泄露攻击行为。
0 citationsRead paper
Recent publications
Latest Papers
Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
本文针对从黑盒实时系统中提取时间行为的挑战，通过引入简单基本语言和定时增强前缀接受器，并利用SMT求解技术来生成与给定系统行为一致的确定性时间自动机。
0 citationsRead paper
Breaking the 1/3 Barrier for $\boldsymbol{k}$-Submodular Maximization under Matroid and Knapsack Constraints: A Proportional Top-2 Randomized Framework
本文解决了非单调k-次模函数在拟阵和背包约束下的最大化问题，通过比例Top-2随机化框架突破了1/3的近似比障碍。
0 citationsRead paper
Cryptanalytic Extraction of Neural Networks Without Known Architecture Assumption
本文提出了一种无需已知网络架构即可恢复ReLU全连接神经网络架构和参数的猜测-确定框架，通过识别两种架构敏感痕迹实现。
0 citationsRead paper
Hieronym: Leveraging Hierarchical Multi-Source Information for Function Renaming in Stripped Binary
本文提出Hieronym，一种基于生成式大语言模型的框架，通过整合多层次信息提高被剥离二进制文件函数重命名的准确性与可读性。
0 citationsRead paper
One Click to Leak: Characterizing the Real-World Usage and Threat Impact of MNO-based Single Sign-On Websites
研究分析了基于移动网络运营商的单点登录网站的安全风险，通过设计检测框架识别出存在信任缺陷的网站，并揭示了一键泄露攻击行为。
0 citationsRead paper