Marco Pedicini

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 15

Top Topics

Genetic Regulatory Networks

Top Venues

IACR Cryptol. ePrint Arch.

Math. Struct. Comput. Sci.

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

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