Federico Tonelli

18 papers B 1C 7Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
J. Log. Algebraic Methods Program.
Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli
2017 — —
Federico Tonelli
2017 — conf
SEFM Workshops
Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli
2017 C conf
PDP
Fabrizio Baiardi, Jacopo Lipilini, Federico Tonelli
2016 C conf
PDP
Fabrizio Baiardi, Federico Tonelli, Lorenzo Isoni
2016 J jnl
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Fabrizio Baiardi, Federico Tonelli, Lorenzo Isoni
2016 C conf
PDP
Fabrizio Baiardi, Federico Tonelli, A. D. Ruggiero Di Biase
2015 J jnl
Comput. Electr. Eng.
Fabrizio Baiardi, Federico Tonelli, Luca Guidi, Daniela Pestonesi, V. Angeletti
2015 — conf
RISK
Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini
2015 C conf
PDP
Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti
2015 J jnl
Int. J. Netw. Manag.
Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini
2015 J jnl
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Fabrizio Baiardi, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti
2014 C conf
PDP
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra
2014 — conf
HPCC/CSS/ICESS
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti, Daniela Pestonesi
2014 J jnl
J. Inf. Secur. Appl.
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra
2014 C conf
CRITIS
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti, Luca Guidi
2013 B conf
ARES
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Luca Guidi
2013 C conf
CRITIS
Fabrizio Baiardi, Federico Tonelli, Fabio Corò, Luca Guidi
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