12 citations · 25 across the 14 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
RECON: An LLM-Enhanced Backward Constraint Analysis Framework
Babangida Bappah, Lamine Noureddine, Umar Farooq +1
While traditional techniques, such as symbolic execution, provide a principled foundation for precise constraint reasoning in program analysis, they struggle to scale to modern sof…
cs.CR2025★ 1 cited
Assessing and Enhancing Quantum Readiness in Mobile Apps
Joseph Strauss, Krishna Upadhyay, A. B. Siddique +2
Quantum computers threaten widely deployed cryptographic primitives such as RSA, DSA, and ECC. While NIST has released post-quantum cryptographic (PQC) standards (e.g., Kyber, Dili…