Papers
Deep, long-form breakdowns of recent research in AI, machine learning, security & programming languages.
23 results on this page · clear filters
Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
by Yiwei Fang, Yichen Liu, Ze Jin, Haoqiang Wang, Qixu Liu, Luyi Xing
The U.S. Interconnection Queue System: Cascading Vulnerability Analysis and a Resilience Engineering Framework
by Zahra Heidari
Propagation Model for SSC attacks: Why SBOM (tools) don't tell the whole truth
by Ljubica Grgic, Lazar Maksimovic, Pavel Laskov