Toward a Lightweight, Scalable, and Parallel Secure Encryption Engine. - Rasha Karakchi; Rye Stahle-Smith; Nishant Chinnasami; Tiffany Yu (CoRR, 2025)

ML-Based Automata Simplification for Symbolic Accelerators. - Tiffany Yu; Rye Stahle-Smith; Darssan Eswaramoorthi; Rasha Karakchi (CoRR, 2025)