Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Giulio De Pasquale

dblp:191/0014 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
2since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 3 · 1 first-author · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Systems and software security · 70% Cyber-physical and IoT security · 23% Web and mobile security · 7%
Software engineering, system software, and programming languages
1 paper
Software testing · 100%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
exploitation
0.812024
ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning · USENIX Security Symposium 2024
Systems and software security › operating system security
privilege escalation
0.812024
ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning · USENIX Security Symposium 2024
Automated reasoning and model checking
planning
0.812024
ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning · USENIX Security Symposium 2024
Software testing › fuzzing
black-box fuzzing
0.512021
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices · SP 2021
Software testing
fuzzing
0.512021
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices · SP 2021
Web and mobile security › mobile security
android application analysis
0.112021
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices · SP 2021

Methods — techniques the papers use, named apart from their topics

AI planning · 1.5static analysis · 1.0fuzzing triggers · 1.0dynamic analysis · 1.0
YearPublicationVenuePosition
2024 ChainReactor: Automated Privilege Escalation Chain Discovery via AI Planning
Giulio De Pasquale, Ilya Grishchenko, Riccardo Iesari, Gabriel Pizarro, Lorenzo Cavallaro, Christopher Krügel, Giovanni Vigna
USENIX Security Symposium1
2021 Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices
abstract
Internet of Things (IoT) devices have rooted themselves in the everyday life of billions of people. Thus, researchers have applied automated bug finding techniques to improve their overall security. However, due to the difficulties in extracting and emulating custom firmware, black-box fuzzing is often the only viable analysis option. Unfortunately, this solution mostly produces invalid inputs, which are quickly discarded by the targeted IoT device and do not penetrate its code. Another proposed approach is to leverage the companion app (i.e., the mobile app typically used to control an IoT device) to generate well-structured fuzzing inputs. Unfortunately, the existing solutions produce fuzzing inputs that are constrained by app-side validation code, thus significantly limiting the range of discovered vulnerabilities.In this paper, we propose a novel approach that overcomes these limitations. Our key observation is that there exist functions inside the companion app that can be used to generate optimal (i.e., valid yet under-constrained) fuzzing inputs. Such functions, which we call fuzzing triggers, are executed before any data-transforming functions (e.g., network serialization), but after the input validation code. Consequently, they generate inputs that are not constrained by app-side sanitization code, and, at the same time, are not discarded by the analyzed IoT device due to their invalid format. We design and develop Diane, a tool that combines static and dynamic analysis to find fuzzing triggers in Android companion apps, and then uses them to fuzz IoT devices automatically. We use Diane to analyze 11 popular IoT devices, and identify 11 bugs, 9 of which are zero days. Our results also show that without using fuzzing triggers, it is not possible to generate bug-triggering inputs for many devices.
Nilo Redini, Andrea Continella, Dipanjan Das 0002, Giulio De Pasquale, Noah Spahn, Aravind Machiry, Antonio Bianchi, Christopher Krügel, Giovanni Vigna
SP4
2016 ShieldFS: a self-healing, ransomware-aware filesystem
Andrea Continella, Alessandro Guagnelli, Giovanni Zingaro, Giulio De Pasquale, Alessandro Barenghi, Stefano Zanero, Federico Maggi 0001
ACSAC4