140 citations · 600 across the 36 of their papers we have counts for
7 papers · 1 filter
Software Micro-Rejuvenation for Android Mobile Systems
Domenico Cotroneo, Luigi De Simone, Roberto Natella +2
Software aging -- the phenomenon affecting many long-running systems, causing performance degradation or an increasing failure rate over mission time, and eventually leading to fai…
StateAFL: Greybox Fuzzing for Stateful Network Servers
Roberto Natella
Fuzzing network servers is a technical challenge, since the behavior of the target server depends on its state over a sequence of multiple messages. Existing solutions are costly a…
EVIL: Exploiting Software via Natural Language
Pietro Liguori, Erfan Al-Hossami, Vittorio Orbinato +4
Writing exploits for security assessment is a challenging task. The writer needs to master programming and obfuscation techniques to develop a successful exploit. To make the task…
Enhancing the Analysis of Software Failures in Cloud Computing Systems with Deep Learning
Domenico Cotroneo, Luigi De Simone, Pietro Liguori +1
Identifying the failure modes of cloud computing systems is a difficult and time-consuming task, due to the growing complexity of such systems, and the large volume and noisiness o…
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…
Shellcode_IA32: A Dataset for Automatic Shellcode Generation
Pietro Liguori, Erfan Al-Hossami, Domenico Cotroneo +3
We take the first step to address the task of automatically generating shellcodes, i.e., small pieces of code used as a payload in the exploitation of a software vulnerability, sta…
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…