Author

F. Durak

h-index 2 View on Semantic Scholar

We have 1 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

AIOracles: Modeling Agentic AI Security *

A formal framework for security in agentic AI is developed, built around an ideal predicate ϕ that decides, for a given ( prompt, context, result ) triple, whether the agent’s behaviour is acceptable.

F. Durak, Tadayoshi Kohno, Franziska Roesner · 0 citations