8 papers
How Powerful are LLMs in Generating Formal Program Specifications?
Fanpeng Yang, Xing Li, Shuling Wang +7
Formal verification provides strong guarantees of software correctness, but its adoption is limited by the high cost of writing precise formal specifications. While recent large la…
Adaptive Utility driven Resource Orchestration for Resilient AI (AURORA-AI)
Rahul Umesh Mhapsekar, Ilias Cherkaoui, Lizy Abraham +1
Modern AI systems are increasingly deployed under non-stationary computational, demographic, and operational conditions in which static resource allocation strategies degrade both…
Wavelet-Packet-based Noise Signatures With Higher-Order Statistics for Anomaly Prediction
Indrakshi Dey, Ilias Cherkaoui, Mohamed Khalafalla Hassan
This note develops the first-ever noise-centric anomaly prediction method for a fused discrete-time signal. A Wavelet Packet Transform (WPT) provides a time--frequency expansion in…
Categorical Framework for Quantum-Resistant Zero-Trust AI Security
I. Cherkaoui, C. Clarke, J. Horgan +1
The rapid deployment of AI models necessitates robust, quantum-resistant security, particularly against adversarial threats. Here, we present a novel integration of post-quantum cr…
Engel p-adic Isogeny-based Cryptography over Laurent Series: Foundations, Security, and an ESP32 Implementation
Ilias Cherkaoui, Indrakshi Dey
Securing the Internet of Things (IoT) against quantum attacks requires public-key cryptography that (i) remains compact and (ii) runs efficiently on microcontrollers, capabilities…
Dyadic-Chaotic Lifting S-Boxes for Enhanced Physical-Layer Security within 6G Networks
Ilias Cherkaoui, Indrakshi Dey
Sixth-Generation (6G) wireless networks will interconnect billions of resource-constrained devices and time-critical services, where classical, fixed, and heavy cryptography strain…