Due to its fast evolution, quantum computing is increasingly becoming a software problem, one that requires particular care because of the intrinsic peculiarities of quantum programs. Static analysis for quantum programs is still in its infancy. It has produced both principled semantic techniques and practical pattern-...
Greta Dolcetti, Giulio Zizzo, V. Arceri et al.· 0 citations
A novel deterministic certification schema based on (de)randomized smoothing that guarantees that each chunk either contains or does not contain an adversarial perturbation, enabling it to handle manipulations occurring at arbitrary locations within the program and compute deterministic estimates of the perturbation ma...
Daniel Gibert, Luca Demetrio, Giulio Zizzo et al.· ACM Transactions on Privacy...· 4 citations
A novel function hijacking attack (FHA) that manipulates the tool selection process of agentic models to force the invocation of an attacker-chosen function and is largely agnostic to the context semantics and remains effective across domains and function sets.