Alejandro Jaime

Deterministic Promotion of Findings in Agentic Offensive Security: Verifier Oracles over LLM-as-Judge

This research presents RootViel, an agentic offensive-security platform built on the MINERVA engine, introducing a deterministic approach to verifying security findings generated by autonomous AI agents. The work addresses a fundamental limitation of contemporary multi-agent secu...

The Semantic Refinement Pattern: A Distributed Architecture for LLM-Enhanced Smart Contract Security Analysis

Static analysis tools for software security produce high volumes of findings with significant false positive rates, requiring substantial manual triage. We present the Semantic Refinement Pattern, a software architecture where traditional analysis tools execute in parallel while...

Engineering Verifiable Delegated Authorisation for Multi-Principal Agent Populations: Design, Instrumentation and Five Lessons from ZK-Mercury

Populations of autonomous agents belonging to mutually distrusting organisations increasingly act on one another's behalf, yet no deployed mechanism answers, with evidence, whether a given agent was authorised for a given action and by whom. The authorisation layer we describe is...

Engineering Verifiable Delegated Authorisation for Multi-Principal Agent Populations: Design, Instrumentation and Five Lessons from ZK-Mercury

Populations of autonomous agents belonging to mutually distrusting organisations increasingly act on one another's behalf, yet no deployed mechanism answers, with evidence, whether a given agent was authorised for a given action and by whom. The authorisation layer we describe is...