Cristina Nita-Rotaru

The paper introduces Tofu, a generalizable tool that automatically performs rigorous channel fault analysis on distributed protocols, synthesizing attack traces or proving their absence for given LTL specifications.

This paper provides a comprehensive, system-level taxonomy for designing quantum-resistant network architectures, moving beyond simple protocol substitutions to address key distribution and management challenges across diverse deployment environments.

The paper introduces MAGIQ, a novel, quantum-resistant framework designed to securely define and enforce communication and access-control policies within multi-agent AI systems.

This paper analyzes attacks against centralized agent governance systems (SAGA) when the central provider is compromised and proposes three novel, trade-off-aware architectures (SAGA-BFT, SAGA-MON, SAGA-AUD, SAGA-HYB) to enhance Byzantine resilience.

The paper introduces PoisonForge, a comprehensive benchmark demonstrating that even a small number of targeted poisoned examples can significantly compromise the safety and reliability of instruction-tuned LLMs across various model sizes.