Research
The current program connects autonomous-agent security with long-running work on blockchain, cyber-physical systems, and software engineering.
Autonomous agents increasingly act across model services, smart contracts, digital markets, and physical infrastructure. The research question is direct: how can these systems be audited, constrained, and kept resilient under adversarial conditions?
Current work examines how autonomous agents and multi-agent systems can be audited, secured, and made resilient when they interact with smart contracts, digital markets, and critical infrastructure.
Research on privacy, censorship resistance, maximal extractable value, decentralized finance, and protocol security in programmable blockchains.
Security for smart grids, microgrids, connected vehicles, and other systems where software and AI act on physical infrastructure.
Requirements and systems engineering provide the methods used to study trust, security, and failure in complex digital systems.