Head Linear Reduction and Pure Proof Net Extraction. - Gianfranco Mascari; Marco Pedicini (Theor. Comput. Sci., 1994)

Directed Virtual Reductions. - Vincent Danos; Marco Pedicini; Laurent Regnier (CSL, 1996)

Remarks on Elementary Linear Logic. - Marco Pedicini (Linear Logic Tokyo Meeting, 1996)

A parallel implementation for optimal lambda-calculus reduction. - Marco Pedicini; Francesco Quaglia (PPDP, 2000)

Elementary Complexity and Geometry of Interaction. - Patrick Baillot; Marco Pedicini (Fundam. Informaticae, 2001)

Scheduling vs Communication in PELCR. - Marco Pedicini; Francesco Quaglia (Euro-Par, 2002)

Supporting Function Calls within PELCR. - Antonio Cosentino; Marco Pedicini; Francesco Quaglia (DCM@ICALP, 2005)

Greedy expansions and sets with deleted digits. - Marco Pedicini (Theor. Comput. Sci., 2005)

An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus - Patrick Baillot; Marco Pedicini (CoRR, 2006)

PELCR: Parallel environment for optimal lambda-calculus reduction. - Marco Pedicini; Francesco Quaglia (ACM Trans. Comput. Log., 2007)

Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions. - Daniele Santoni; Marco Pedicini; Filippo Castiglione (Bioinform., 2008)

Elementary Complexity and von Neumann Algebras - Marco Pedicini; Mario Piazza (CoRR, 2009)

Combining Network Modeling and Gene Expression Microarray Analysis to Explore the Dynamics of Th1 and Th2 Cell Regulation. - Marco Pedicini; Fredrik Barrenäs; Trevor Clancy; Filippo Castiglione; Eivind Hovig; Kartiek Kanduri; Daniele Santoni; Mikael Benson (PLoS Comput. Biol., 2010)

Cube Attack in Finite Fields of Higher Order. - Andrea Agnesse; Marco Pedicini (AISC, 2011)

Typing a Core Binary-Field Arithmetic in a Light Logic. - Emanuele Cesena; Marco Pedicini; Luca Roversi (FOPARA, 2011)

Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? - Daniele Canavese; Emanuele Cesena; Rachid Ouchary; Marco Pedicini; Luca Roversi (FOPARA, 2013)

Light combinators for finite fields arithmetic. - Daniele Canavese; Emanuele Cesena; Rachid Ouchary; Marco Pedicini; Luca Roversi (Sci. Comput. Program., 2015)

Quantum entanglement and the Bell matrix. - Anna Chiara Lai; Marco Pedicini; Silvia Rognone (Quantum Inf. Process., 2016)

A Novel GPU-Based Implementation of the Cube Attack - Preliminary Results Against Trivium. - Marco Cianfriglia; Stefano Guarino; Massimo Bernaschi; Flavio Lombardi; Marco Pedicini (ACNS, 2017)

Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks. - Marco Pedicini; Maria Concetta Palumbo; Filippo Castiglione (WIVACE, 2017)

Kite attack: reshaping the cube attack for a flexible GPU-based maxterm search. - Marco Cianfriglia; Stefano Guarino; Massimo Bernaschi; Flavio Lombardi; Marco Pedicini (J. Cryptogr. Eng., 2019)

Abstract machines, optimal reduction, and streams. - Anna Chiara Lai; Marco Pedicini; Mario Piazza (Math. Struct. Comput. Sci., 2019)

Quantitative Modelling Approaches. - Filippo Castiglione; Emiliano Mancini; Marco Pedicini; Abdul Salam Jarrah (Encyclopedia of Bioinformatics and Computational Biology (2), 2019)

Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over 픽pn. - Lorenzo Grassi 001; Silvia Onofri; Marco Pedicini; Luca Sozzi (IACR Cryptol. ePrint Arch., 2021)

Ten years of cube attacks. - Marco Cianfriglia; Elia Onofri; Silvia Onofri; Marco Pedicini (IACR Cryptol. ePrint Arch., 2022)

Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over Fnp Application to Poseidon. - Lorenzo Grassi 001; Silvia Onofri; Marco Pedicini; Luca Sozzi (IACR Trans. Symmetric Cryptol., 2022)

Invertible Quadratic Non-linear Functions over $ mathbb {F}_p^n$ via Multiple Local Maps. - Ginevra Giordani; Lorenzo Grassi 001; Silvia Onofri; Marco Pedicini (AFRICACRYPT, 2023)

mRLWE-CP-ABE a revocable CP-ABE for Post-Quantum Cryptography. - Marco Cianfriglia; Elia Onofri; Marco Pedicini (IACR Cryptol. ePrint Arch., 2023)

Invertible Quadratic Non-Linear Functions over 픽pn via Multiple Local Maps. - Ginevra Giordani; Lorenzo Grassi 001; Silvia Onofri; Marco Pedicini (IACR Cryptol. ePrint Arch., 2023)

Explainable Drug Repurposing Approach From Biased Random Walks. - Filippo Castiglione; Christine Nardini; Elia Onofri; Marco Pedicini; Paolo Tieri (IEEE ACM Trans. Comput. Biol. Bioinform., 2023)

mRLWE-CP-ABE: A revocable CP-ABE for post-quantum cryptography. - Marco Cianfriglia; Elia Onofri; Marco Pedicini (J. Math. Cryptol., 2024)

Generic Partial Decryption as Feature Engineering for Neural Distinguishers. - Emanuele Bellini 002; Rocco Brunelli; David Gérault; Anna Hambitzer; Marco Pedicini (IACR Cryptol. ePrint Arch., 2025)

Dynamic-FROST: Schnorr threshold signatures with a flexible committee. - Annalisa Cimatti; Francesco De Sclavis; Giuseppe Galano; Sara Giammusso; Michela Iezzi; Antonio Muci; Matteo Nardelli 001; Marco Pedicini (J. Math. Cryptol., 2025)

Fourteen years of cube attacks. - Marco Cianfriglia; Elia Onofri; Silvia Onofri; Marco Pedicini (Appl. Algebra Eng. Commun. Comput., 2025)