2 papers
cs.CR2026
TEE-X: TEE-aware Acceleration Framework for Large Vision Models at the Edge
Kurt M Wilson, Mohaiminul Al Nahian, Abeer Matar A. Almalky +5
Despite their remarkable success, machine learning models, particularly in vision applications, are alarmingly vulnerable to a range of security threats. One key factor in the atta…
cs.AI2026
PROVE-RT: Generating Mechanized Theorem Prover Scripts for Real-Time Systems using LLMs
Sadat Shahriyar, Shareef Ahmed, Abdullah Al Arafat
Schedulability analysis is essential for certifying real-time systems, but existing tests are often developed through pen-and-paper proofs that are difficult to scale, validate, an…