The current program connects autonomous-agent security with long-running work on blockchain, cyber-physical systems, and software engineering.
Current programme
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?
Read the full programme at Trust LabThe current agentic-systems programme builds on three longer lines of research.
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.