27 citations · 49 across the 8 of their papers we have counts for
3 papers · 1 filter
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri +5
Guardrails for tool-using LLM agents are usually application-specific rules, which makes multi-step, data-dependent safety policies hard to specify, audit and reuse. As a declarati…
State Space Reduction with Message Inspection in Security Protocol Model Checking
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Model checking is a widespread automatic formal analysis that has been successful in discovering flaws in security protocols. However existing possibilities for state space explosi…
Attacking an OT-Based Blind Signature Scheme
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
In this paper, we describe an attack against one of the Oblivious-Transfer-based blind signatures scheme, proposed in [1]. An attacker with a primitive capability of producing spec…