Submitted
Certified Real-Time Anomaly Detection for IoT Networks with Pre-Deployment Verification
A certified anomaly detection framework for IoT network security using concentration inequalities for weighted Poisson processes, designed to provide formal false-positive guarantees while supporting real-time inference.