Ruby Finds Unsafe Rust Regions in Stripped Binaries
Instruction-level binary features train a classifier that recovers 91.75% of unsafe regions at a 6.16% false positive rate.
Jul 13, 20264 min2211.00111
Cryptography and Security
cs.CRAll areas of cryptography and security including authentication and public key cryptosystems.
Sort:
Code Transformations Detect LLM-Written Python Across Models
ACW applies idempotent semantic-preserving Python rewrites after generation, reaching over 97% accuracy with under 0.1 seconds per function.
Jul 13, 20265 min2402.07518 Code available
Formal Verification Scales to 100K-Parameter Neural Networks
A novel abstract domain enables certified robustness guarantees for realistic deep learning models.
Feb 23, 20249 min2402.15678 Code available