Recoverable-Persistence in a Distributed Single Address Space. - Gianluca Dini; Giuseppe Lettieri; Lanfranco Lopriore (Applied Informatics, 1999)

Implementing a Distributed Single Address Space in the Presence of Failures. - Gianluca Dini; Giuseppe Lettieri; Lanfranco Lopriore (PDPTA, 1999)

An Overview of Ulisse, a Distributed Single Address Space System. - Gianluca Dini; Giuseppe Lettieri; Lanfranco Lopriore (POS, 2000)

Using Standard Verifier to Check Secure Information Flow in Java Bytecode. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (COMPSAC, 2002)

An abstract semantics tool for secure information flow of stack-based assembly programs. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (Microprocess. Microsystems, 2002)

Checking security properties by model checking. - Nicoletta De Francesco; Giuseppe Lettieri (Softw. Test. Verification Reliab., 2003)

Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri (Fundam. Informaticae, 2004)

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (Softw. Pract. Exp., 2004)

A Space-Aware Bytecode Verifier for Java Cards. - Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci 001 (Bytecode@ETAPS, 2005)

Using Control Dependencies for Space-Aware Bytecode Verification. - Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci 001 (Comput. J., 2006)

Caching and prefetching algorithms for programs with looping reference patterns. - Gianluca Dini; Giuseppe Lettieri; Lanfranco Lopriore (Comput. J., 2006)

Using postdomination to reduce space requirements of data flow analysis. - Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci 001 (Inf. Process. Lett., 2006)

Decomposing bytecode verification by abstract interpretation. - Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci 001 (ACM Trans. Program. Lang. Syst., 2008)

Celer: an Efficient Program for Genotype Elimination - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (AMCA-POP, 2010)

Partial model checking via abstract interpretation. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Gigliola Vaglini (Inf. Process. Lett., 2010)

Using abstract interpretation to add type checking for interfaces in Java bytecode verification. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (Theor. Comput. Sci., 2010)

VALE, a switched ethernet for virtual machines. - Luigi Rizzo; Giuseppe Lettieri (CoNEXT, 2012)

Efficient Genotype Elimination via Adaptive Allele Consolidation. - Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

An Abstract Interpretation framework for genotype elimination algorithms. - Giuseppe Lettieri (Theor. Comput. Sci., 2012)

Speeding up packet I/O in virtual machines. - Luigi Rizzo; Giuseppe Lettieri; Vincenzo Maffione (ANCS, 2013)

GreASE: A Tool for Efficient "Nonequivalence" Checking. - Nicoletta De Francesco; Giuseppe Lettieri; Antonella Santone; Gigliola Vaglini (ACM Trans. Softw. Eng. Methodol., 2014)

Virtual Device Passthrough for High Speed VM Networking. - Stefano Garzarella; Giuseppe Lettieri; Luigi Rizzo (ANCS, 2015)

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. - Giuseppe De Ruvo; Giuseppe Lettieri; Domenico Martino; Antonella Santone; Gigliola Vaglini (FACS, 2015)

mSwitch: a highly-scalable, modular software switch. - Michio Honda; Felipe Huici; Giuseppe Lettieri; Luigi Rizzo (SOSR, 2015)

A Study of Speed Mismatches Between Communicating Virtual Machines. - Luigi Rizzo; Stefano Garzarella; Giuseppe Lettieri; Vincenzo Maffione (ANCS, 2016)

Flexible virtual machine networking using netmap passthrough. - Vincenzo Maffione; Luigi Rizzo; Giuseppe Lettieri (LANMAN, 2016)

Very high speed link emulation with TLEM. - Luigi Rizzo; Giuseppe Lettieri; Vincenzo Maffione (LANMAN, 2016)

Heuristic search for equivalence checking. - Nicoletta De Francesco; Giuseppe Lettieri; Antonella Santone; Gigliola Vaglini (Softw. Syst. Model., 2016)

HyperNF: building a high performance, high utilization and fair NFV platform. - Kenichi Yasukata; Felipe Huici; Vincenzo Maffione; Giuseppe Lettieri; Michio Honda (SoCC, 2017)

A Survey of Fast Packet I/O Technologies for Network Function Virtualization. - Giuseppe Lettieri; Vincenzo Maffione; Luigi Rizzo (ISC Workshops, 2017)

PASTE: A Network Programming Interface for Non-Volatile Main Memory. - Michio Honda; Giuseppe Lettieri; Lars Eggert; Douglas Santry (NSDI, 2018)

A Study of I/O Performance of Virtual Machines. - Giuseppe Lettieri; Vincenzo Maffione; Luigi Rizzo (Comput. J., 2018)

PSPAT: Software packet scheduling at hardware speed. - Luigi Rizzo; Paolo Valente; Giuseppe Lettieri; Vincenzo Maffione (Comput. Commun., 2018)

BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution. - Vincenzo Maffione; Giuseppe Lettieri; Luigi Rizzo (ANCS, 2019)

Cache-aware design of general-purpose Single-Producer-Single-Consumer queues. - Vincenzo Maffione; Giuseppe Lettieri; Luigi Rizzo (Softw. Pract. Exp., 2019)

Towards Scalable and Expressive Stream Packet Processing. - Alessandra Fais; Giuseppe Lettieri; Gregorio Procissi; Stefano Giordano (GLOBECOM, 2021)

Data Stream Processing for Packet-Level Analytics. - Alessandra Fais; Giuseppe Lettieri; Gregorio Procissi; Stefano Giordano; Francesco Oppedisano (Sensors, 2021)

Mind the cost of telemetry data analysis. - Alessandra Fais; Gianni Antichi; Stefano Giordano; Giuseppe Lettieri; Gregorio Procissi (SIGCOMM Posters and Demos, 2022)

eBPF-based Extensible Paravirtualization. - Luigi Leonardi; Giuseppe Lettieri; Giacomo Pellicci (ISC Workshops, 2022)

Programming socket-independent network functions with nethuns. - Nicola Bonelli; Fabio Del Vigna; Alessandra Fais; Giuseppe Lettieri; Gregorio Procissi (Comput. Commun. Rev., 2022)

An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline. - Carmelo Aparo; Cinzia Bernardeschi; Giuseppe Lettieri; Fabio Lucattini; Salvatore Montanarella (EuroS&P Workshops, 2023)

SmartNIC-Accelerated Stream Processing Analytics. - Giuseppe Lettieri; Alessandra Fais; Gianni Antichi; Gregorio Procissi (NFV-SDN, 2023)

Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach. - Filippo Storniolo; Luigi Leonardi; Giuseppe Lettieri (ISC Workshops, 2023)

Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. - Cinzia Bernardeschi; Giuseppe Lettieri; Alessio Vivani; Alessio Bechini; Alessio Vecchio; Federico Rossi 003; Christian Quadri; Alessia Galdeman; Adriano Fagiolini; Salvatore Pedone; Antonella Santone; Vittoria Nardone; et al. (ACSOS-C, 2024)

Rethinking Cloud Network Stacks with Switch Bypass. - Antonio Le Caldare; Luigi Leonardi; Sebastiano Miano; Gregorio Procissi; Gianni Antichi; Giuseppe Lettieri (HPSR, 2024)

On the Impact of Memory Safety on Fast Network I/O. - Riccardo Sagramoni; Giuseppe Lettieri; Gregorio Procissi (HPSR, 2024)

Statistical Model Checking of Cooperative Autonomous Driving Systems. - Cinzia Bernardeschi; Giuseppe Lettieri; Federico Rossi 003 (ISoLA (2), 2024)

A Portable Research Honeypot for Corporate Networks. - Lorenzo Mirabella; Cinzia Bernardeschi; Giuseppe Lettieri; Fabio Lucattini; Salvatore Montanarella (STM, 2024)

Accelerating network analytics with an on-NIC streaming engine. - Sebastiano Miano; Giuseppe Lettieri; Gianni Antichi; Gregorio Procissi (Comput. Networks, 2024)

Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach. - Filippo Storniolo; Luigi Leonardi; Giuseppe Lettieri (J. Syst. Archit., 2024)