Marco Abbadini

According to our database, Marco Abbadini authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

NatiSand: Native Code Sandboxing for JavaScript Runtimes.

Marco Abbadini, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi

Proceedings of the 26th International Symposium on Research in Attacks, 2023

Lightweight Cloud Application Sandboxing.

Marco Abbadini, Michele Beretta, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi

Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2023

Cage4Deno: A Fine-Grained Sandbox for Deno Subprocesses.

Marco Abbadini, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

POSTER: Leveraging eBPF to enhance sandboxing of WebAssembly runtimes.

Marco Abbadini, Michele Beretta, Dario Facchinetti, Gianluca Oldani, Matthew Rossi, Stefano Paraboschi

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2021

On the Axiomatisability of the Dual of Compact Ordered Spaces.

Marco Abbadini

Bull. Symb. Log., 2021

2020

On the Axiomatisability of the Dual of Compact Ordered Spaces.

Marco Abbadini, Luca Reggio

Appl. Categorical Struct., 2020

Unification in Łukasiewicz Logic with a Finite Number of Variables.

Marco Abbadini, Federica Di Stefano, Luca Spada

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020