Marco Pedicini

According to our database, Marco Pedicini authored at least 31 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

mRLWE-CP-ABE: A revocable CP-ABE for post-quantum cryptography.

Marco Cianfriglia, Elia Onofri, Marco Pedicini

J. Math. Cryptol., February, 2024

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

Invertible Quadratic Non-Linear Functions over 픽_pⁿ via Multiple Local Maps.

Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini

IACR Cryptol. ePrint Arch., 2023

mR_LWE-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 $\mathbb {F}_p^n$ via Multiple Local Maps.

Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini

Proceedings of the Progress in Cryptology - AFRICACRYPT 2023, 2023

2022

Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over Fnp Application to Poseidon.

Lorenzo Grassi, Silvia Onofri, Marco Pedicini, Luca Sozzi

IACR Trans. Symmetric Cryptol., 2022

Ten years of cube attacks.

Marco Cianfriglia, Elia Onofri, Silvia Onofri, Marco Pedicini

IACR Cryptol. ePrint Arch., 2022

2021

Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over 픽_pⁿ.

Lorenzo Grassi, Silvia Onofri, Marco Pedicini, Luca Sozzi

IACR Cryptol. ePrint Arch., 2021

2019

Quantitative Modelling Approaches.

Filippo Castiglione, Emiliano Mancini, Marco Pedicini, Abdul Salam Jarrah

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 2, 2019

Abstract machines, optimal reduction, and streams.

Anna Chiara Lai, Marco Pedicini, Mario Piazza

Math. Struct. Comput. Sci., 2019

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

2017

Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks.

Marco Pedicini, Maria Concetta Palumbo, Filippo Castiglione

Proceedings of the Artificial Life and Evolutionary Computation - 12th Italian Workshop, 2017

A Novel GPU-Based Implementation of the Cube Attack - Preliminary Results Against Trivium.

Marco Cianfriglia, Stefano Guarino, Massimo Bernaschi, Flavio Lombardi, Marco Pedicini

Proceedings of the Applied Cryptography and Network Security, 2017

2016

Quantum entanglement and the Bell matrix.

Anna Chiara Lai, Marco Pedicini, Silvia Rognone

Quantum Inf. Process., 2016

2015

Light combinators for finite fields arithmetic.

Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi

Sci. Comput. Program., 2015

2013

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2011

Typing a Core Binary-Field Arithmetic in a Light Logic.

Emanuele Cesena, Marco Pedicini, Luca Roversi

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Cube Attack in Finite Fields of Higher Order.

Andrea Agnesse, Marco Pedicini

Proceedings of the Ninth Australasian Information Security Conference, 2011

2010

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

2009

Elementary Complexity and von Neumann Algebras

Marco Pedicini, Mario Piazza

CoRR, 2009

2008

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

2007

PELCR: Parallel environment for optimal lambda-calculus reduction.

Marco Pedicini, Francesco Quaglia

ACM Trans. Comput. Log., 2007

2006

An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus

Patrick Baillot, Marco Pedicini

CoRR, 2006

2005

Greedy expansions and sets with deleted digits.

Marco Pedicini

Theor. Comput. Sci., 2005

Supporting Function Calls within PELCR.

Antonio Cosentino, Marco Pedicini, Francesco Quaglia

Proceedings of the First International Workshop on Developments in Computational Models, 2005

2002

Scheduling vs Communication in PELCR.

Marco Pedicini, Francesco Quaglia

Proceedings of the Euro-Par 2002, 2002

2001

Elementary Complexity and Geometry of Interaction.

Patrick Baillot, Marco Pedicini

Fundam. Informaticae, 2001

2000

A parallel implementation for optimal lambda-calculus reduction.

Marco Pedicini, Francesco Quaglia

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1996

Remarks on Elementary Linear Logic.

Marco Pedicini

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Directed Virtual Reductions.

Vincent Danos, Marco Pedicini, Laurent Regnier

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994

Head Linear Reduction and Pure Proof Net Extraction.

Gianfranco Mascari, Marco Pedicini

Theor. Comput. Sci., 1994