Marco Abbadini

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Top Venues

Bull. Symb. Log.

Appl. Categorical Struct.

Publications

Marco Abbadini, Michele Beretta, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi
POSTER: Leveraging eBPF to enhance sandboxing of WebAssembly runtimes. AsiaCCS (2023)
Marco Abbadini, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi
Cage4Deno: A Fine-Grained Sandbox for Deno Subprocesses. AsiaCCS (2023)
Marco Abbadini, Michele Beretta, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi
Lightweight Cloud Application Sandboxing. CloudCom (2023)
Marco Abbadini, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi
NatiSand: Native Code Sandboxing for JavaScript Runtimes. RAID (2023)
Marco Abbadini
On the Axiomatisability of the Dual of Compact Ordered Spaces. Bull. Symb. Log. 27 (4) (2021)
Marco Abbadini, Luca Reggio
On the Axiomatisability of the Dual of Compact Ordered Spaces. Appl. Categorical Struct. 28 (6) (2020)
Marco Abbadini, Federica Di Stefano, Luca Spada
Unification in Łukasiewicz Logic with a Finite Number of Variables. IPMU (3) (2020)