Fabio Tardivo

14 papers A 1B 1C 3Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Enrico Santi, Fabio Tardivo, Agostino Dovier, Andrea Formisano
2025 J jnl
Theory Pract. Log. Program.
Enrico Santi, Agostino Dovier, Andrea Formisano, Fabio Tardivo
2025 — conf
CILC
Stefano Travasci, Fabio Tardivo, Andrea Formisano
2024 A conf
CP
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
CoRR
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
Constraints An Int. J.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 B conf
CPAIOR
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
J. Log. Comput.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 — conf
CILC
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 C conf
PADL
Fabio Tardivo, Enrico Pontelli
2021 C conf
PADL
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
2019 — conf
ICLP Technical Communications
Fabio Tardivo
2019 — conf
CILC
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
2014 C conf
PDP
Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling