80 citations · 173 across the 14 of their papers we have counts for
14 papers
IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing
Carmine Cesarano, Marcello Cinque, Domenico Cotroneo +2
Nowadays, industries are looking into virtualization as an effective means to build safe applications, thanks to the isolation it can provide among virtual machines (VMs) running o…
RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
Marco Barletta, Marcello Cinque, Luigi De Simone +3
Orchestration systems are becoming a key component to automatically manage distributed computing resources in many fields with criticality requirements like Industry 4.0 (I4.0). Ho…
Towards Assessing Isolation Properties in Partitioning Hypervisors
Carmine Cesarano, Domenico Cotroneo, Luigi De Simone
Partitioning hypervisor solutions are becoming increasingly popular, to ensure stringent security and safety requirements related to isolation between co-hosted applications and to…
On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems
Domenico Cotroneo, Luigi De Simone, Roberto Natella
Railway signaling systems provide numerous critical functions at different safety level, to correctly implement the entire transport ecosystem. Today, we are witnessing the increas…
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
Marcello Cinque, Luigi De Simone, Andrea Marchetta
Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, t…
ThorFI: A Novel Approach for Network Fault Injection as a Service
Domenico Cotroneo, Luigi De Simone, Roberto Natella
In this work, we present a novel fault injection solution (ThorFI) for virtual networks in cloud computing infrastructures. ThorFI is designed to provide non-intrusive fault inject…