MMODELYST
People/Alfredo Metere
PPL

Alfredo Metere

Papers (3)
Attested Tool-Server Admission: A Security Extension to the Model Context ProtocolAn Application-Layer Multi-Modal Covert-Channel Reference Monitor for LLM Agent EgressMethods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof