Hydra: A Security Analysis Framework for TCP via Auto-Scaling FSMs
Ao Wang, Xuewei Feng, Yuxiang Yang, Yinchao Zhang, Qi Li, Guang Cheng, Weiqiang Wang, Ke Xu
2026Year
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- Causal Analysis for Software-Defined Networking AttacksBenjamin E. Ujcich, Samuel Jero, Richard Skowyra, Adam Bates et al.USENIX Security 2021 · 26 citations
- Automatically Learning Vulnerability Patterns for Scalable Static Analysis of Web ApplicationsPenghui Li, Songchen Yao, Josef Sarfati Korich, Changhua Luo et al.CCS 2026
- HYPERF: End-to-End Autotuning Framework for High-Performance ComputingJuseong Park, Yongwon Shin, Junghyun Lee, Junseo Lee et al.HPDC 2025 · 2 citations
- Weaponizing Middleboxes for TCP Reflected AmplificationKevin Bock, Abdulrahman Alaraj, Yair Fax, Kyle Hurley et al.USENIX Security 2021 · 49 citations
- Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call SpecializationWilliam Blair, Frederico Araujo, Teryl Taylor, Jiyong JangS&P 2024 · 6 citations
