Security and Intelligence (SAIL) Lab

SAIL Lab

SAIL Lab conducts research on making AI-driven autonomous systems trustworthy: provably secure, resilient under adversarial conditions, and safe when deployed in the physical world. The lab develops formal, decision-theoretic, and learning-based methods to understand and defend cyber-physical systems, spanning autonomous drones and robots, next-generation communication networks, and quantum computing systems, against intelligent and adaptive adversaries.

The lab maintains physical autonomous systems platforms for AI and security research, including X650 drones and Duckiebot platforms with Jetson Nano, among others.

SAIL Lab is home to a group of researchers working on a variety of projects.

Research Areas
01 · CPS Security
Cyber-Physical Systems Security
Strategic design and defense of interconnected cyber-physical systems, such as IoT networks and mobile autonomous systems, under intelligent adversaries using decision-theoretic and AI tools.
02 · Quantum
Quantum AI & Systems Security
Security and privacy of quantum computing systems; trustworthy quantum AI; formal verification of quantum-classical computation.
03 · Networks
Network and System Resilience
Distributed optimization and resilience of large-scale networked systems, including communication infrastructure and multi-agent systems.
04 · Wireless
Programmable Wireless Systems
Formal-assurance-based policy management for domain-specific programmable wireless architectures; trustworthy AI for next-generation communication infrastructure.
05 · RL
Reinforcement Learning
Efficient and trustworthy RL for sequential decision making; robust RL in multi-agent environments; world models; RL in agentic AI.
06 · Game Theory
Game & Decision Theory
Dynamic and differential games for security, mechanism design, and optimal resource allocation under uncertainty.
Funded Projects

SAIL Lab acknowledges the support from NSF, DARPA, Fordham Office of Research, and Fordham GSAS.

Trustworthy Distributed Quantum Computing Systems
NSF · 2026
NSF ↗
Formal Energy Semantics for UAV-Based Predictive Modeling and Energy-Aware Optimization
DARPA · 2026
Trustworthy Programmable Wireless Infrastructure
NSF · 2025
NSF ↗
Resilient Quantum Learning Systems
NSF · 2024
NSF ↗
System-Level Quantum Computing Security and Privacy
NSF · 2023
NSF ↗
Cyber-Physical Energy Systems Security and Resilience
NSF · 2022
NSF ↗
High-Performance GPU Cluster (NVIDIA H200) for Multidisciplinary Research
NSF MRI · 2025
NSF ↗
Trustworthy AI for Multi-Agent Systems
Fordham–IBM Research Fellowship · 2025
Dynamic Adversarial AI
Fordham–IBM Research Fellowship · 2024