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

Fabio Gritti

dblp:201/9325 · DBLP profile ↗
← Back
9ranked-venue papers
2as first author
7since 2021 · last 2026
0009-0002-8422-7079ORCID · corroborated

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

Security and privacy · 9 · 2 first-author · 7 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
6 papers
Blockchain and cryptocurrency security · 58% Systems and software security · 19% Network security · 16%
Software engineering, system software, and programming languages
1 paper
Program analysis · 50% Program verification · 50%
Databases, data mining, and information retrieval
1 paper
Indexing and storage engines · 100%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Blockchain and cryptocurrency security
smart contract security
1.022025
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts · NDSS 2024
Approve Once, Regret Forever: On the Exploitation of Ethereum's Approve-TransferFrom Ecosystem · USENIX Security Symposium 2025
Network security › intrusion detection and prevention › intrusion detection
anomaly detection
1.012026
HOUSTON: Real-Time Anomaly Detection of Attacks against Ethereum DeFi Protocols · NDSS 2026
Blockchain and cryptocurrency security › smart contract security
smart contract vulnerability
0.712023
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts · USENIX Security Symposium 2023
Systems and software security
firmware security
0.612022
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images · SP 2022
Systems and software security
vulnerability discovery
0.612022
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images · SP 2022
Indexing and storage engines › storage management
data layout
0.212024
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts · NDSS 2024
Program verification › model checking
bounded model checking
0.212022
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images · SP 2022
Program analysis
symbolic execution
0.212022
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images · SP 2022

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

static analysis · 2.6symbolic execution · 1.1bounded model checking · 1.1real-time anomaly detection · 1.0machine learning classifier · 0.4
YearPublicationVenuePosition
2026 It's Not You, It's Me: Reevaluating the Relationship between Concolic Execution and Fuzzing
Lukas Dresel, Stijn Pletinckx, Fabio Gritti, Mathias Payer, Giovanni Vigna, Christopher Krügel
EuroS&P3
2026 HOUSTON: Real-Time Anomaly Detection of Attacks against Ethereum DeFi Protocols
Dongyu Meng, Fabio Gritti, Robert McLaughlin, Nicola Ruaro, Ilya Grishchenko, Christopher Krügel, Giovanni Vigna
NDSS2
2025 A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts
Nicola Ruaro, Fabio Gritti, Robert McLaughlin, Dongyu Meng, Ilya Grishchenko, Christopher Krügel, Giovanni Vigna
DIMVA (2)2
2025 Approve Once, Regret Forever: On the Exploitation of Ethereum's Approve-TransferFrom Ecosystem
Nicola Ruaro, Fabio Gritti, Dongyu Meng, Robert McLaughlin, Ilya Grishchenko, Christopher Krügel, Giovanni Vigna
USENIX Security Symposium2
2024 Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts
Nicola Ruaro, Fabio Gritti, Robert McLaughlin, Ilya Grishchenko, Christopher Krügel, Giovanni Vigna
NDSS2
2023 Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
Fabio Gritti, Nicola Ruaro, Robert McLaughlin, Priyanka Bose, Dipanjan Das 0002, Ilya Grishchenko, Christopher Krügel, Giovanni Vigna
USENIX Security Symposium1
2022 HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images
abstract
Dynamic memory allocators are critical components of modern systems, and developers strive to find a balance between their performance and their security. Unfortunately, vulnerable allocators are routinely abused as building blocks in complex exploitation chains. Most of the research regarding memory allocators focuses on popular and standardized heap libraries, generally used by high-end devices such as desktop systems and servers. However, dynamic memory allocators are also extensively used in embedded systems but they have not received much scrutiny from the security community.In embedded systems, a raw firmware image is often the only available piece of information, and finding heap vulnerabilities is a manual and tedious process. First of all, recognizing a memory allocator library among thousands of stripped firmware functions can quickly become a daunting task. Moreover, emulating firmware functions to test for heap vulnerabilities comes with its own set of challenges, related, but not limited, to the re-hosting problem.To fill this gap, in this paper we present HEAPSTER, a system that automatically identifies the heap library used by a monolithic firmware image, and tests its security with symbolic execution and bounded model checking. We evaluate HEAPSTER on a dataset of 20 synthetic monolithic firmware images — used as ground truth for our analyses — and also on a dataset of 799 monolithic firmware images collected in the wild and used in real-world devices. Across these datasets, our tool identified 11 different heap management library (HML) families containing a total of 48 different variations. The security testing performed by HEAPSTER found that all the identified variants are vulnerable to at least one critical heap vulnerability. The results presented in this paper show a clear pattern of poor security standards, and raise some concerns over the security of dynamic memory allocators employed by IoT devices.
Fabio Gritti, Fabio Pagani, Ilya Grishchenko, Lukas Dresel, Nilo Redini, Christopher Krügel, Giovanni Vigna
SP1
2020 When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features
Hojjat Aghakhani, Fabio Gritti, Francesco Mecca, Martina Lindorfer, Stefano Ortolani, Davide Balzarotti, Giovanni Vigna, Christopher Krügel
NDSS2
2017 Measuring and Defeating Anti-Instrumentation-Equipped Malware
Mario Polino, Andrea Continella, Sebastiano Mariani, Stefano D'Alessio, Lorenzo Fontana, Fabio Gritti, Stefano Zanero
DIMVA6