35 citations · 124 across the 25 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Cryptographic certificates of validity for trustworthy AI
Murdoch J. Gabbay
We propose cryptographic certificates of validity for agentic AI systems. The core idea is to formally specify a correctness or policy condition as a logical predicate, compile thi…
cs.PL2026
Nominal techniques as an Agda library
Murdoch J. Gabbay, Orestis Melkonian
Nominal techniques provide a mathematically principled approach to dealing with names and variable binding in programming languages. This paper explores an attempt to make nominal…