default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarco Pedicini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Marco Cianfriglia
, Elia Onofri, Marco Pedicini:
mRLWE-CP-ABE: A revocable CP-ABE for post-quantum cryptography. J. Math. Cryptol. 18(1) (2024)- [i9]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: 896 (2024) - 2023
- [j12]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): 1009-1019 (2023) - [c12]Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini:
Invertible Quadratic Non-linear Functions over $\mathbb {F}_p^n$ via Multiple Local Maps. AFRICACRYPT 2023: 151-176 - [i8]Ginevra Giordani, Lorenzo Grassi, Silvia Onofri, Marco Pedicini:
Invertible Quadratic Non-Linear Functions over 픽pn via Multiple Local Maps. IACR Cryptol. ePrint Arch. 2023: 690 (2023) - [i7]Marco Cianfriglia, Elia Onofri, Marco Pedicini:
mRLWE-CP-ABE a revocable CP-ABE for Post-Quantum Cryptography. IACR Cryptol. ePrint Arch. 2023: 922 (2023) - 2022
- [j11]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): 20-72 (2022) - [i6]Marco Cianfriglia, Elia Onofri, Silvia Onofri, Marco Pedicini:
Ten years of cube attacks. IACR Cryptol. ePrint Arch. 2022: 137 (2022) - 2021
- [i5]Lorenzo Grassi, Silvia Onofri, Marco Pedicini, Luca Sozzi:
Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over 픽pn. IACR Cryptol. ePrint Arch. 2021: 1695 (2021)
2010 – 2019
- 2019
- [j10]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): 375-392 (2019) - [j9]Anna Chiara Lai, Marco Pedicini, Mario Piazza:
Abstract machines, optimal reduction, and streams. Math. Struct. Comput. Sci. 29(9): 1379-1410 (2019) - [r1]Filippo Castiglione, Emiliano Mancini, Marco Pedicini, Abdul Salam Jarrah:
Quantitative Modelling Approaches. Encyclopedia of Bioinformatics and Computational Biology (2) 2019: 874-883 - 2017
- [c11]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: 184-207 - [c10]Marco Pedicini, Maria Concetta Palumbo, Filippo Castiglione:
Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks. WIVACE 2017: 88-103 - 2016
- [j8]Anna Chiara Lai, Marco Pedicini, Silvia Rognone:
Quantum entanglement and the Bell matrix. Quantum Inf. Process. 15(7): 2923-2936 (2016) - 2015
- [j7]Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi:
Light combinators for finite fields arithmetic. Sci. Comput. Program. 111: 365-394 (2015) - 2013
- [c9]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: 38-57 - 2011
- [c8]Andrea Agnesse, Marco Pedicini:
Cube Attack in Finite Fields of Higher Order. AISC 2011: 9-14 - [c7]Emanuele Cesena, Marco Pedicini, Luca Roversi:
Typing a Core Binary-Field Arithmetic in a Light Logic. FOPARA 2011: 19-35 - [i4]Emanuele Cesena, Marco Pedicini, Luca Roversi:
Typing a Core Binary Field Arithmetic in a Light Logic. CoRR abs/1106.5622 (2011) - 2010
- [j6]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)
2000 – 2009
- 2009
- [i3]Marco Pedicini, Mario Piazza:
Elementary Complexity and von Neumann Algebras. CoRR abs/0912.5342 (2009) - 2008
- [j5]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): 1374-1380 (2008) - 2007
- [j4]Marco Pedicini, Francesco Quaglia:
PELCR: Parallel environment for optimal lambda-calculus reduction. ACM Trans. Comput. Log. 8(3): 14 (2007) - 2006
- [i2]Patrick Baillot, Marco Pedicini:
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus. CoRR abs/cs/0608040 (2006) - 2005
- [j3]Marco Pedicini:
Greedy expansions and sets with deleted digits. Theor. Comput. Sci. 332(1-3): 313-336 (2005) - [c6]Antonio Cosentino, Marco Pedicini, Francesco Quaglia:
Supporting Function Calls within PELCR. DCM@ICALP 2005: 107-117 - 2004
- [i1]Marco Pedicini, Francesco Quaglia:
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction. CoRR cs.LO/0407055 (2004) - 2002
- [c5]Marco Pedicini, Francesco Quaglia:
Scheduling vs Communication in PELCR. Euro-Par 2002: 648-655 - 2001
- [j2]Patrick Baillot, Marco Pedicini:
Elementary Complexity and Geometry of Interaction. Fundam. Informaticae 45(1-2): 1-31 (2001) - 2000
- [c4]Marco Pedicini, Francesco Quaglia:
A parallel implementation for optimal lambda-calculus reduction. PPDP 2000: 3-14
1990 – 1999
- 1999
- [c3]Patrick Baillot, Marco Pedicini:
Elementary Complexity and Geometry of Interaction. TLCA 1999: 25-39 - 1996
- [c2]Vincent Danos, Marco Pedicini, Laurent Regnier:
Directed Virtual Reductions. CSL 1996: 76-88 - [c1]Marco Pedicini:
Remarks on Elementary Linear Logic. Linear Logic Tokyo Meeting 1996: 208-219 - 1994
- [j1]Gianfranco Mascari, Marco Pedicini:
Head Linear Reduction and Pure Proof Net Extraction. Theor. Comput. Sci. 135(1): 111-137 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
