Ignacio Peyrano

Universidad Austral Rosario

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Constitutional AI & AI Ethics (1)Tool Use & Agents (1)

Papers (1)

Apr 28, 2026

Universidad Austral Rosario3w ago

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems

Securing AI-native enterprise systems demands a shift from traditional software validation to dynamic formal verification of stochastic agent behavior, as demonstrated by a Semantic Gateway that uncovers 100% of unauthorized state transitions.

Ignacio Peyrano

Code Generation & Program Synthesis Constitutional AI & AI Ethics Tool Use & Agents

Search

Ignacio Peyrano

Publication activitypapers/week, last 8 weeks

Research focus

Papers (1)