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
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…