Giuseppe Lettieri

57 papers A 1B 4C 4Misc 2Journal 23Unranked 23
YearRankTypeTitle / Venue / Authors
2025 B conf
BBArmor: a Dynamic BPF-to-BPF LSM-Based Enforcement Tool.
CNSM
Fabio Piras, Giuseppe Lettieri, Gregorio Procissi
2025 — conf
Bringing Memory Safety Close to the Wire.
SIGCOMM (Posters and Demos)
Leonardo Giovannoni, Giuseppe Lettieri, Gregorio Procissi
2025 — conf
Design Principles for Accelerated Programmable Edge Computing in Future 6G Architectures.
NFV-SDN
Filippo Carloni, Angelo Tulumello, Andrea Castelli, Javier Montesa, Gianni Antichi, Giuseppe Bianchi, Giuseppe Lettieri, Gregorio Procissi
2025 B conf
JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images.
IJCNN
Pericle Perazzo, Massimiliano Mattei, Giuseppe Anastasi, Marco Avvenuti, Gianluca Dini, Giuseppe Lettieri, Carlo Vallati
2025 J jnl
JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images.
CoRR
Pericle Perazzo, Massimiliano Mattei, Giuseppe Anastasi, Marco Avvenuti, Gianluca Dini, Giuseppe Lettieri, Carlo Vallati
2025 — conf
Runtime Type-Based Access Control for eBPF.
NFV-SDN
Leonardo Giovannoni, Giuseppe Lettieri, Gregorio Procissi
2025 J jnl
Switch bypass: End-host cloud networking revisited.
Comput. Networks
Antonio Le Caldare, Luigi Leonardi, Sebastiano Miano, Gregorio Procissi, Gianni Antichi, Giuseppe Lettieri
2024 — conf
A Portable Research Honeypot for Corporate Networks.
STM
Lorenzo Mirabella, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella
2024 J jnl
Accelerating network analytics with an on-NIC streaming engine.
Comput. Networks
Sebastiano Miano, Giuseppe Lettieri, Gianni Antichi, Gregorio Procissi
2024 — conf
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project.
ACSOS-C
Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano
2024 J jnl
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach.
J. Syst. Archit.
Filippo Storniolo, Luigi Leonardi, Giuseppe Lettieri
2024 C conf
On the Impact of Memory Safety on Fast Network I/O.
HPSR
Riccardo Sagramoni, Giuseppe Lettieri, Gregorio Procissi
2024 C conf
Rethinking Cloud Network Stacks with Switch Bypass.
HPSR
Antonio Le Caldare, Luigi Leonardi, Sebastiano Miano, Gregorio Procissi, Gianni Antichi, Giuseppe Lettieri
2024 — conf
Statistical Model Checking of Cooperative Autonomous Driving Systems.
ISoLA (2)
Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi
2023 — conf
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline.
EuroS&P Workshops
Carmelo Aparo, Cinzia Bernardeschi, Giuseppe Lettieri, Fabio Lucattini, Salvatore Montanarella
2023 — conf
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach.
ISC Workshops
Filippo Storniolo, Luigi Leonardi, Giuseppe Lettieri
2023 — conf
SmartNIC-Accelerated Stream Processing Analytics.
NFV-SDN
Giuseppe Lettieri, Alessandra Fais, Gianni Antichi, Gregorio Procissi
2022 — conf
Mind the cost of telemetry data analysis.
SIGCOMM Posters and Demos
Alessandra Fais, Gianni Antichi, Stefano Giordano, Giuseppe Lettieri, Gregorio Procissi
2022 J jnl
Programming socket-independent network functions with nethuns.
Comput. Commun. Rev.
Nicola Bonelli, Fabio Del Vigna, Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi
2022 — conf
eBPF-based Extensible Paravirtualization.
ISC Workshops
Luigi Leonardi, Giuseppe Lettieri, Giacomo Pellicci
2021 J jnl
Data Stream Processing for Packet-Level Analytics.
Sensors
Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi, Stefano Giordano, Francesco Oppedisano
2021 B conf
Towards Scalable and Expressive Stream Packet Processing.
GLOBECOM
Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi, Stefano Giordano
2019 — conf
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution.
ANCS
Vincenzo Maffione, Giuseppe Lettieri, Luigi Rizzo
2019 J jnl
Cache-aware design of general-purpose Single-Producer-Single-Consumer queues.
Softw. Pract. Exp.
Vincenzo Maffione, Giuseppe Lettieri, Luigi Rizzo
2018 J jnl
A Study of I/O Performance of Virtual Machines.
Comput. J.
Giuseppe Lettieri, Vincenzo Maffione, Luigi Rizzo
2018 Misc conf
PASTE: A Network Programming Interface for Non-Volatile Main Memory.
NSDI
Michio Honda, Giuseppe Lettieri, Lars Eggert, Douglas Santry
2018 J jnl
PSPAT: Software packet scheduling at hardware speed.
Comput. Commun.
Luigi Rizzo, Paolo Valente, Giuseppe Lettieri, Vincenzo Maffione
2017 — conf
A Survey of Fast Packet I/O Technologies for Network Function Virtualization.
ISC Workshops
Giuseppe Lettieri, Vincenzo Maffione, Luigi Rizzo
2017 — conf
HyperNF: building a high performance, high utilization and fair NFV platform.
SoCC
Kenichi Yasukata, Felipe Huici, Vincenzo Maffione, Giuseppe Lettieri, Michio Honda
2016 — conf
A Study of Speed Mismatches Between Communicating Virtual Machines.
ANCS
Luigi Rizzo, Stefano Garzarella, Giuseppe Lettieri, Vincenzo Maffione
2016 C conf
Flexible virtual machine networking using netmap passthrough.
LANMAN
Vincenzo Maffione, Luigi Rizzo, Giuseppe Lettieri
2016 J jnl
Heuristic search for equivalence checking.
Softw. Syst. Model.
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2016 C conf
Very high speed link emulation with TLEM.
LANMAN
Luigi Rizzo, Giuseppe Lettieri, Vincenzo Maffione
2015 — conf
Virtual Device Passthrough for High Speed VM Networking.
ANCS
Stefano Garzarella, Giuseppe Lettieri, Luigi Rizzo
2015 — conf
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.
FACS
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
2015 — conf
mSwitch: a highly-scalable, modular software switch.
SOSR
Michio Honda, Felipe Huici, Giuseppe Lettieri, Luigi Rizzo
2014 J jnl
GreASE: A Tool for Efficient "Nonequivalence" Checking.
ACM Trans. Softw. Eng. Methodol.
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2013 — conf
Speeding up packet I/O in virtual machines.
ANCS
Luigi Rizzo, Giuseppe Lettieri, Vincenzo Maffione
2012 J jnl
An Abstract Interpretation framework for genotype elimination algorithms.
Theor. Comput. Sci.
Giuseppe Lettieri
2012 J jnl
Efficient Genotype Elimination via Adaptive Allele Consolidation.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2012 A conf
VALE, a switched ethernet for virtual machines.
CoNEXT
Luigi Rizzo, Giuseppe Lettieri
2010 — conf
Celer: an Efficient Program for Genotype Elimination
AMCA-POP
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2010 J jnl
Partial model checking via abstract interpretation.
Inf. Process. Lett.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
2010 J jnl
Using abstract interpretation to add type checking for interfaces in Java bytecode verification.
Theor. Comput. Sci.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2008 J jnl
Decomposing bytecode verification by abstract interpretation.
ACM Trans. Program. Lang. Syst.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
2006 J jnl
Caching and prefetching algorithms for programs with looping reference patterns.
Comput. J.
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
2006 J jnl
Using Control Dependencies for Space-Aware Bytecode Verification.
Comput. J.
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2006 J jnl
Using postdomination to reduce space requirements of data flow analysis.
Inf. Process. Lett.
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2005 — conf
A Space-Aware Bytecode Verifier for Java Cards.
Bytecode@ETAPS
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2004 J jnl
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.
Softw. Pract. Exp.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2004 J jnl
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs.
Fundam. Informaticae
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2003 J jnl
Checking security properties by model checking.
Softw. Test. Verification Reliab.
Nicoletta De Francesco, Giuseppe Lettieri
2002 J jnl
An abstract semantics tool for secure information flow of stack-based assembly programs.
Microprocess. Microsystems
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2002 B conf
Using Standard Verifier to Check Secure Information Flow in Java Bytecode.
COMPSAC
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2000 — conf
An Overview of Ulisse, a Distributed Single Address Space System.
POS
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
1999 Misc conf
Implementing a Distributed Single Address Space in the Presence of Failures.
PDPTA
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
1999 — conf
Recoverable-Persistence in a Distributed Single Address Space.
Applied Informatics
Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore