Unification in Łukasiewicz Logic with a Finite Number of Variables. - Marco Abbadini; Federica Di Stefano 001; Luca Spada (IPMU (3), 2020)

On the Axiomatisability of the Dual of Compact Ordered Spaces. - Marco Abbadini; Luca Reggio (Appl. Categorical Struct., 2020)

On the Axiomatisability of the Dual of Compact Ordered Spaces. - Marco Abbadini (Bull. Symb. Log., 2021)

On the Axiomatisability of the Dual of Compact Ordered Spaces. - Marco Abbadini (2021)

POSTER: Leveraging eBPF to enhance sandboxing of WebAssembly runtimes. - Marco Abbadini; Michele Beretta 001; Dario Facchinetti; Gianluca Oldani; Matthew Rossi; Stefano Paraboschi (AsiaCCS, 2023)

Cage4Deno: A Fine-Grained Sandbox for Deno Subprocesses. - Marco Abbadini; Dario Facchinetti; Gianluca Oldani; Matthew Rossi; Stefano Paraboschi (AsiaCCS, 2023)

Lightweight Cloud Application Sandboxing. - Marco Abbadini; Michele Beretta 001; Dario Facchinetti; Gianluca Oldani; Matthew Rossi; Stefano Paraboschi (CloudCom, 2023)

NatiSand: Native Code Sandboxing for JavaScript Runtimes. - Marco Abbadini; Dario Facchinetti; Gianluca Oldani; Matthew Rossi; Stefano Paraboschi (RAID, 2023)

Supporting Data Owner Control in IPFS Networks. - Marco Abbadini; Michele Beretta 001; Sabrina De Capitani di Vimercati; Dario Facchinetti; Sara Foresti; Gianluca Oldani; Stefano Paraboschi; Matthew Rossi; Pierangela Samarati (ICC, 2024)