Verifiable and post-quantum distributed learning
Zero-knowledge verifiable federated evaluation, post-quantum-secure aggregation, and verifiable cross-institutional graph learning.
Research
Verifiable and resilient trust for distributed intelligent systems. Our current work emphasizes zero-knowledge and post-quantum assurance for federated, decentralized, and edge intelligence.
Resilience against malicious and strategic participants
Incentive-aware defenses that make poisoning irrational, and adaptive deception that raises the cost of attacks.
Cryptographic assurance for emerging systems
PUF-based attestation, zero-knowledge patch and compliance attestation, and post-quantum protections for constrained devices.
Methods. Applied cryptography, conformal prediction, fairness and explainability, and systems measurement, chosen to fit the threat model.
Applications. Ports and maritime critical infrastructure, healthcare, finance and AML, and IoT and edge.