EDBT 2026 Demo / reviewers in the wild / expert
Alberto Lovato
dblp:14/4237
· DBLP profile ↗
8ranked-venue papers
1as first author
2since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 1 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 3 · 1 since 2021Artificial intelligence and machine learning · 2Systems, architecture and hardware · 1 · 1 since 2021Theory of computation · 1
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
1 paper |
Systems and software security · 100% | |
| Software engineering, system software, and programming languages
2 papers |
Program analysis · 83% Concurrent programming · 17% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
static analysis |
0.6 | 2 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 Locking discipline inference and checking · ICSE 2016 |
Systems and software security › exploitation
injection attacks |
0.4 | 1 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 |
Systems and software security › exploitation › injection attacks
SQL injection |
0.4 | 1 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 |
Systems and software security › information flow tracking › taint analysis
static taint analysis |
0.4 | 1 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 |
Systems and software security
vulnerability discovery |
0.4 | 1 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 |
Program analysis › static analysis
abstract interpretation |
0.4 | 1 | 2019 | Static Identification of Injection Attacks in Java · ACM Trans. Program. Lang. Syst. 2019 |
Concurrent programming › concurrency bugs
data races |
0.2 | 1 | 2016 | Locking discipline inference and checking · ICSE 2016 |
Program analysis › concurrent program analysis
lock inference |
0.2 | 1 | 2016 | Locking discipline inference and checking · ICSE 2016 |
Methods — techniques the papers use, named apart from their topics
boolean formula encoding · 0.8abstract interpretation · 0.8type inference · 0.2static checking · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Security Layers and Related Services within the Horizon Europe NEUROPULS ProjectabstractIn the contemporary security landscape, the incorporation of photonics has emerged as a transformative force, unlocking a spectrum of possibilities to enhance the resilience and effectiveness of security primitives. This integration represents more than a mere technological augmentation; it signifies a paradigm shift towards innovative approaches capable of delivering security primitives with key properties for low-power systems. This not only augments the robustness of security frameworks, but also paves the way for novel strategies that adapt to the evolving challenges of the digital age. This paper discusses the security layers and related services that will be developed, modeled, and evaluated within the Horizon Europe NEUROPULS project. These layers will exploit novel implementations for security primitives based on physical un-clonable functions (PUFs) using integrated photonics technology. Their objective is to provide a series of services to support the secure operation of a neuromorphic photonic accelerator for edge comnuting applications. Fabio Pavanello, Cédric Marchand 0002, Paul Jiménez, Xavier Letartre, Ricardo Chaves, Niccolò Marastoni, Alberto Lovato, Mariano Ceccato, George Papadimitriou 0001, Vasileios Karakostas, Dimitris Gizopoulos, Roberta Bardini, Tzamn Melendez Carmona, Stefano Di Carlo, Alessandro Savino 0001, Laurence Lerch, Ulrich Rührmair, Sergio Vinagrero Gutierrez, Giorgio Di Natale, Elena I. Vatajelu |
DATE | 7 |
| 2022 | Real time Vehicle Color Recognition on a budget: an investigation on the usage of CNN architecturesabstractIn this work, we consider the problem of vehicle color recognition and target scenarios with limited computational resources. Indeed, in real traffic monitoring systems running on the field, algorithms must be light in terms of inference time and memory, but also accurate and robust to the scene variability. We employ end-to-end Convolutional Neural Networks to investigate under which conditions the use of such methodologies– that are state-of-the-art in a multitude of vision-based tasks but often lead to a significant computational burden– can provide us a good compromise between efficiency and effectiveness. We reason on the structure and size of the networks, while monitoring the performance in terms of color classification accuracy and computational effort. We provide an extensive experimental analysis comparing the methods using a benchmark and a private dataset acquired on the field, with almost 20K of images covering a variety of scene conditions. Simone Campisi, Luca Colombini, Alberto Lovato, Francesca Odone, Nicoletta Noceti |
AVSS | 3 |
| 2019 | Static Identification of Injection Attacks in JavaabstractThe most dangerous security-related software errors, according to the OWASP Top Ten 2017 list, affect web applications. They are potential injection attacks that exploit user-provided data to execute undesired operations: database access and updates ( SQL injection ); generation of malicious web pages ( cross-site scripting injection ); redirection to user-specified web pages ( redirect injection ); execution of OS commands and arbitrary scripts ( command injection ); loading of user-specified, possibly heavy or dangerous classes at run time ( reflection injection ); access to arbitrary files on the file system ( path-traversal ); and storing user-provided data into heap regions normally assumed to be shielded from the outside world ( trust boundary violation ). All these attacks exploit the same weakness: unconstrained propagation of data from sources that the user of a web application controls into sinks whose activation might trigger dangerous operations. Although web applications are written in a variety of languages, Java remains a frequent choice, in particular for banking applications, where security has tangible relevance. This article defines a unified, sound protection mechanism against such attacks, based on the identification of all possible explicit flows of tainted data in Java code. Such flows can be arbitrarily complex, passing through dynamically allocated data structures in the heap. The analysis is based on abstract interpretation and is interprocedural, flow-sensitive, and context-sensitive. Its notion of taint applies to reference (non-primitive) types dynamically allocated in the heap and is object-sensitive and field-sensitive. The analysis works by translating the program into Boolean formulas that model all possible data flows. Its implementation, within the Julia analyzer for Java and Android, found injection security vulnerabilities in the Internet banking service and in the customer relationship management of large Italian banks, as well as in a set of open-source third-party applications. It found the command injection, which is at the origin of the 2017 Equifax data breach, one of the worst data breaches ever. For objective, repeatable results, this article also evaluates the implementation on two open-source security benchmarks: the Juliet Suite and the OWASP Benchmark for the automatic comparison of static analyzers for cybersecurity. We compared this technique against more than 10 other static analyzers, both free and commercial. The result of these experiments is that ours is the only analysis for injection that is sound (up to well-stated limitations such as multithreading and native code) and works on industrial code, and it is also much more precise than other tools. Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara 0001, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon |
ACM Trans. Program. Lang. Syst. | 5 |
| 2016 | Locking discipline inference and checkingabstractConcurrency is a requirement for much modern software, but the implementation of multithreaded algorithms comes at the risk of errors such as data races. Programmers can prevent data races by documenting and obeying a locking discipline, which indicates which locks must be held in order to access which data. Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine |
ICSE | 2 |
| 2015 | Boolean Formulas for the Static Identification of Injection Attacks in Java
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto |
LPAR | 2 |
| 2014 | A Thread-Safe Library for Binary Decision Diagrams
Alberto Lovato, Damiano Macedonio, Fausto Spoto |
SEFM | 1 |
| 2009 | Combined Motion and Appearance Models for Robust Object Tracking in Real-TimeabstractThis paper proposes a tracking architecture that finds a trade-off between accuracy and efficiency, via a combined solution of motion and appearance information. We explore the use of color features into a tracking pipeline based on Kalman filtering. The devised architecture is made of simple modules, combined to reach a robust final result, while keeping the computation cost low (we perform 20 fps). The method has been evaluated on three benchmark datasets and is currently under use on real video-surveillance systems, reporting very good tracking results. Nicoletta Noceti, Augusto Destrero, Alberto Lovato, Francesca Odone |
AVSS | 3 |
| 1998 | Point Selection: A New Comparison Scheme for Size Functions (With an Application to Monogram Recognition)
Massimo Ferri, Patrizio Frosini, Alberto Lovato, Chiara Zambelli |
ACCV (1) | 3 |