Marco Pedicini

39 papers B 2C 1Misc 1Journal 25Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dynamic-FROST: Schnorr threshold signatures with a flexible committee.
J. Math. Cryptol.
Annalisa Cimatti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Michela Iezzi, Antonio Muci, Matteo Nardelli, Marco Pedicini
2025 J jnl
Fourteen years of cube attacks.
Appl. Algebra Eng. Commun. Comput.
Marco Cianfriglia, Elia Onofri, Silvia Onofri, Marco Pedicini
2025 — conf
Generic Partial Decryption as Feature Engineering for Neural Distinguishers.
LATINCRYPT
Emanuele Bellini, Rocco Brunelli, David Gérault, Anna Hambitzer, Marco Pedicini
2025 J jnl
Generic Partial Decryption as Feature Engineering for Neural Distinguishers.
IACR Cryptol. ePrint Arch.
Emanuele Bellini, Rocco Brunelli, David Gérault, Anna Hambitzer, Marco Pedicini
2024 J jnl
Dynamic-FROST: Schnorr Threshold Signatures with a Flexible Committee.
IACR Cryptol. ePrint Arch.
Annalisa Cimatti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Michela Iezzi, Antonio Muci, Matteo Nardelli, Marco Pedicini
2024 J jnl
mRLWE-CP-ABE: A revocable CP-ABE for post-quantum cryptography.
J. Math. Cryptol.
Marco Cianfriglia, Elia Onofri, Marco Pedicini
2023 J jnl
Explainable Drug Repurposing Approach From Biased Random Walks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Filippo Castiglione, Christine Nardini, Elia Onofri, Marco Pedicini, Paolo Tieri
2023 J jnl
Invertible Quadratic Non-Linear Functions over 픽
IACR Cryptol. ePrint Arch.
Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini
2023 — conf
Invertible Quadratic Non-linear Functions over $\mathbb {F}_p^n$ via Multiple Local Maps.
AFRICACRYPT
Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini
2023 J jnl
mR
IACR Cryptol. ePrint Arch.
Marco Cianfriglia, Elia Onofri, Marco Pedicini
2022 J jnl
Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over Fnp Application to Poseidon.
IACR Trans. Symmetric Cryptol.
Lorenzo Grassi, Silvia Onofri, Marco Pedicini, Luca Sozzi
2022 J jnl
Ten years of cube attacks.
IACR Cryptol. ePrint Arch.
Marco Cianfriglia, Elia Onofri, Silvia Onofri, Marco Pedicini
2021 J jnl
Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over 픽
IACR Cryptol. ePrint Arch.
Lorenzo Grassi, Silvia Onofri, Marco Pedicini, Luca Sozzi
2019 J jnl
Abstract machines, optimal reduction, and streams.
Math. Struct. Comput. Sci.
Anna Chiara Lai, Marco Pedicini, Mario Piazza
2019 J jnl
Kite attack: reshaping the cube attack for a flexible GPU-based maxterm search.
J. Cryptogr. Eng.
Marco Cianfriglia, Stefano Guarino, Massimo Bernaschi, Flavio Lombardi, Marco Pedicini
2019 — ch.
Quantitative Modelling Approaches.
Encyclopedia of Bioinformatics and Computational Biology (2)
Filippo Castiglione, Emiliano Mancini, Marco Pedicini, Abdul Salam Jarrah
2017 B conf
A Novel GPU-Based Implementation of the Cube Attack - Preliminary Results Against Trivium.
ACNS
Marco Cianfriglia, Stefano Guarino, Massimo Bernaschi, Flavio Lombardi, Marco Pedicini
2017 — conf
Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks.
WIVACE
Marco Pedicini, Maria Concetta Palumbo, Filippo Castiglione
2016 J jnl
Quantum entanglement and the Bell matrix.
Quantum Inf. Process.
Anna Chiara Lai, Marco Pedicini, Silvia Rognone
2015 J jnl
Light combinators for finite fields arithmetic.
Sci. Comput. Program.
Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi
2013 — conf
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?
FOPARA
Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi
2011 Misc conf
Cube Attack in Finite Fields of Higher Order.
AISC
Andrea Agnesse, Marco Pedicini
2011 J jnl
Typing a Core Binary Field Arithmetic in a Light Logic
CoRR
Emanuele Cesena, Marco Pedicini, Luca Roversi
2011 — conf
Typing a Core Binary-Field Arithmetic in a Light Logic.
FOPARA
Emanuele Cesena, Marco Pedicini, Luca Roversi
2010 J jnl
Combining Network Modeling and Gene Expression Microarray Analysis to Explore the Dynamics of Th1 and Th2 Cell Regulation.
PLoS Comput. Biol.
Marco Pedicini, Fredrik Barrenäs, Trevor Clancy, Filippo Castiglione, Eivind Hovig, Kartiek Kanduri, Daniele Santoni, Mikael Benson
2009 J jnl
Elementary Complexity and von Neumann Algebras
CoRR
Marco Pedicini, Mario Piazza
2008 J jnl
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions.
Bioinform.
Daniele Santoni, Marco Pedicini, Filippo Castiglione
2007 J jnl
PELCR: Parallel environment for optimal lambda-calculus reduction.
ACM Trans. Comput. Log.
Marco Pedicini, Francesco Quaglia
2006 J jnl
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
CoRR
Patrick Baillot, Marco Pedicini
2005 J jnl
Greedy expansions and sets with deleted digits.
Theor. Comput. Sci.
Marco Pedicini
2005 — conf
Supporting Function Calls within PELCR.
DCM@ICALP
Antonio Cosentino, Marco Pedicini, Francesco Quaglia
2004 J jnl
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
CoRR
Marco Pedicini, Francesco Quaglia
2002 — conf
Scheduling vs Communication in PELCR.
Euro-Par
Marco Pedicini, Francesco Quaglia
2001 J jnl
Elementary Complexity and Geometry of Interaction.
Fundam. Informaticae
Patrick Baillot, Marco Pedicini
2000 C conf
A parallel implementation for optimal lambda-calculus reduction.
PPDP
Marco Pedicini, Francesco Quaglia
1999 — conf
Elementary Complexity and Geometry of Interaction.
TLCA
Patrick Baillot, Marco Pedicini
1996 B conf
Directed Virtual Reductions.
CSL
Vincent Danos, Marco Pedicini, Laurent Regnier
1996 — conf
Remarks on Elementary Linear Logic.
Linear Logic Tokyo Meeting
Marco Pedicini
1994 J jnl
Head Linear Reduction and Pure Proof Net Extraction.
Theor. Comput. Sci.
Gianfranco Mascari, Marco Pedicini