1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2026
Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
Yiwei Fang, Yichen Liu, Ze Jin +3
Logic flaws pose significant challenges in the design and implementation of modern, semantically rich systems and applications, impacting security, privacy, and trust. These flaws…
cs.LG2023★ 1 cited
TFE-GNN: A Temporal Fusion Encoder Using Graph Neural Networks for Fine-grained Encrypted Traffic Classification
Haozhen Zhang, Le Yu, Xi Xiao +4
Encrypted traffic classification is receiving widespread attention from researchers and industrial companies. However, the existing methods only extract flow-level features, failin…