23 citations · 56 across the 5 of their papers we have counts for
9 papers
Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification
Domenico Cotroneo, Luigi De Simone, Roberto Natella
Virtualization technology is nowadays adopted in security-critical embedded systems to achieve higher performance and more design flexibility. However, it also comes with new secur…
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Roberto Natella, Van-Thuan Pham
We present a new benchmark (ProFuzzBench) for stateful fuzzing of network protocols. The benchmark includes a suite of representative open-source network servers for popular protoc…
Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems
Domenico Cotroneo, Luigi De Simone, Pietro Liguori +1
Cloud computing systems fail in complex and unexpected ways due to unexpected combinations of events and interactions between hardware and software components. Fault injection is a…
Dependability Evaluation of Middleware Technology for Large-scale Distributed Caching
Domenico Cotroneo, Roberto Natella, Stefano Rosiello
Distributed caching systems (e.g., Memcached) are widely used by service providers to satisfy accesses by millions of concurrent clients. Given their large-scale, modern distribute…
A Comprehensive Study on Software Aging across Android Versions and Vendors
Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella +1
This paper analyzes the phenomenon of software aging - namely, the gradual performance degradation and resource exhaustion in the long run - in the Android OS. The study intends to…
Dependability Assessment of the Android OS through Fault Injection
Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella +1
The reliability of mobile devices is a challenge for vendors, since the mobile software stack has significantly grown in complexity. In this paper, we study how to assess the impac…