Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. - Cinzia Bernardeschi; Nicoletta De Francesco; Luca Martini (OTM Workshops, 2003)

Enforcement of applet boundaries in Java card systems. - Cinzia Bernardeschi; Luca Martini (IASTED Conf. on Software Engineering and Applications, 2004)

Java bytecode verification with dynamic structures. - Cinzia Bernardeschi; Luca Martini; Paolo Masci 001 (IASTED Conf. on Software Engineering and Applications, 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)

Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. - Nicoletta De Francesco; Luca Martini (Formal Aspects in Security and Trust, 2005)

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)

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

Pseudowire Emulation Edge-to-Edge (PWE3) Control Word for Use over an MPLS PSN. - Stewart Bryant; George Swallow; Luca Martini; Danny McPherson (RFC, 2006)

IANA Allocations for Pseudowire Edge to Edge Emulation (PWE3). - Luca Martini (RFC, 2006)

Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP). - Luca Martini; Eric C. Rosen; Nasser El-Aawar; Toby Smith; Giles Heron (RFC, 2006)

Encapsulation Methods for Transport of Ethernet over MPLS Networks. - Luca Martini; Eric C. Rosen; Nasser El-Aawar; Giles Heron (RFC, 2006)

Encapsulation Methods for Transport of PPP/High-Level Data Link Control (HDLC) over MPLS Networks. - Luca Martini; Eric C. Rosen; Giles Heron; Andrew G. Malis (RFC, 2006)

Encapsulation Methods for Transport of Frame Relay over Multiprotocol Label Switching (MPLS) Networks. - Luca Martini; Claude Kawa; Andrew G. Malis (RFC, 2006)

Constrained Route Distribution for Border Gateway Protocol/MultiProtocol Label Switching (BGP/MPLS) Internet Protocol (IP) Virtual Private Networks (VPNs). - Pedro R. Marques; Ronald P. Bonica; Luyuan Fang; Luca Martini; Robert Raszuk; Keyur Patel; Jim Guichard (RFC, 2006)

Encapsulation Methods for Transport of Asynchronous Transfer Mode (ATM) over MPLS Networks. - Luca Martini; J. Jayakumar; Matthew Bocci; Nasser El-Aawar; Jeremy Brayley; Ghassem Koleyni (RFC, 2006)

Instruction-level security analysis for information flow in stack-based assembly languages. - Nicoletta De Francesco; Luca Martini (Inf. Comput., 2007)

Instruction-level security typing by abstract interpretation. - Nicoletta De Francesco; Luca Martini (Int. J. Inf. Sec., 2007)

Pseudowire Emulation Edge-to-Edge (PWE3) Asynchronous Transfer Mode (ATM) Transparent Cell Transport Service. - Andrew G. Malis; Luca Martini; Jeremy Brayley; Tom Walsh (RFC, 2007)

Wildcard Pseudowire Type. - Luca Martini; George Swallow (RFC, 2007)

Encapsulation Methods for Transport of Layer 2 Frames over MPLS Networks. - Luca Martini; Eric C. Rosen; Nasser El-Aawar (RFC, 2007)

Transport of Layer 2 Frames Over MPLS. - Luca Martini; Eric C. Rosen; Nasser El-Aawar (RFC, 2007)

Attachment Individual Identifier (AII) Types for Aggregation. - Chris Metz 001; Luca Martini; Florin Balus; Jeff Sugimoto (RFC, 2007)

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

Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation. - Andrew G. Malis; Jeremy Brayley; John Shirron; Luca Martini; Steve Vogelsang (RFC, 2008)

Requirements for Multi-Segment Pseudowire Emulation Edge-to-Edge (PWE3). - Nabil Bitar; Matthew Bocci; Luca Martini (RFC, 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)

Checking Secure Information Flow in Programs. - Luca Martini (2010)

Segmented Pseudowire. - Luca Martini; Chris Metz 001; Thomas D. Nadeau; Matthew Bocci; Mustapha Aïssaoui (RFC, 2011)

Pseudowire (PW) Operations, Administration, and Maintenance (OAM) Message Mapping. - Mustapha Aïssaoui; Peter Busschbach; Luca Martini; Monique Morrow; Thomas D. Nadeau; Yaakov Stein (RFC, 2011)

Using the Generic Associated Channel Label for Pseudowire in the MPLS Transport Profile (MPLS-TP). - Han Li; Luca Martini; Jia He; Feng Huang (RFC, 2011)

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

Pseudowire Status for Static Pseudowires. - Luca Martini; George Swallow; Giles Heron; Matthew Bocci (RFC, 2012)

Packet Pseudowire Encapsulation over an MPLS PSN. - Stewart Bryant; Luca Martini; George Swallow; Andrew G. Malis (RFC, 2012)

LDP Downstream-on-Demand in Seamless MPLS. - Thomas Beckhaus; Bruno Decraene; Kishore Tiruveedhula; Maciek Konstantynowicz; Luca Martini (RFC, 2013)

Dynamic Placement of Multi-Segment Pseudowires. - Luca Martini; Matthew Bocci; Florin Balus (RFC, 2014)

Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network (L2VPN) Provider Edge (PE) Redundancy. - Luca Martini; Samer Salam; Ali Sajassi; Matthew Bocci; Satoru Matsushima; Thomas D. Nadeau (RFC, 2014)

Label Advertisement Discipline for LDP Forwarding Equivalence Classes (FECs). - Kamran Raza; Sami Boutros; Luca Martini; Nicolai Leymann (RFC, 2014)

Explicit Path Routing for Dynamic Multi-Segment Pseudowires. - Pranjal Kumar Dutta; Matthew Bocci; Luca Martini (RFC, 2014)

Thermal control system based on thin film heaters and amorphous silicon diodes. - Nicola Lovecchio; Giulia Petrucci; Domenico Caputo; Samia Alameddine; Matteo Carpentiero; Luca Martini; Emanuele Parisi; Giampiero de Cesare; Augusto Nascetti (IWASI, 2015)

Using a Generic Associated Channel Label as a Virtual Circuit Connectivity Verification Channel Indicator. - Thomas D. Nadeau; Luca Martini; Stewart Bryant (RFC, 2015)

A Framework for Visual Search in Broadcast archives. - Federico Maria Pandolfi; Davide Desirello; Luca Martini; Rosario Di Stabile (IIR, 2017)

Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP). - Luca Martini; Giles Heron (RFC, 2017)

MPLS Label Switched Path (LSP) Pseudowire (PW) Status Refresh Reduction for Static PWs. - Luca Martini; George Swallow; Elisa Bellagamba (RFC, 2017)

Comunicazione Digitale XR: Assessing the impact of extended reality technologies on learning. - Daniele Zolezzi; Saverio Iacono; Luca Martini; Gianni Viardo Vercelli (Comput. Educ. X Real., 2024)

From Risk to Readiness: VR-Based Safety Training for Industrial Hazards. - Gianni Viardo Vercelli; Saverio Iacono; Luca Martini; Michele Zardetto; Daniele Zolezzi (CoRR, 2024)

Building Consistent Characters through Open-Source Generative AI. - Luca Martini; Lara La Tessa; Daniele Zolezzi (Int. J. Emerg. Technol. Learn., 2024)

Multi-Stage Generative Upscaler: Reconstructing Football Broadcast Images via Diffusion Models. - Luca Martini; Daniele Zolezzi; Saverio Iacono; Gianni Viardo Vercelli (CoRR, 2025)