vix.ing · top · new · best · stats · spec

M. Llambí-Morillas

  1. Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
    2026/07/23 by M. Llambí-Morillas, D. Fernández-Fernández
    #cs.CR #cs.AI