Personal information

No personal information available

Activities

Collapse all

Works (28)

Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees

2024 | Book chapter
DOI: 10.1007/978-3-031-57722-2_11
Contributors: Matteo Campanelli; Antonio Faonio; Dario Fiore; Tianyu Li; Helger Lipmaa
Source: check_circle
Crossref

Witness Encryption for Succinct Functional Commitments and Applications

2024 | Book chapter
DOI: 10.1007/978-3-031-57722-2_5
Contributors: Matteo Campanelli; Dario Fiore; Hamidreza Khoshakhlagh
Source: check_circle
Crossref

Witness-Authenticated Key Exchange, Revisited: Extensions to Groups, Improved Models, Simpler Constructions

2024 | Book chapter
DOI: 10.1007/978-3-031-47754-6_7
Contributors: Matteo Campanelli; Rosario Gennaro; Kelsey Melissaris; Luca Nizzardo
Source: check_circle
Crossref

How to Make Rational Arguments Practical and Extractable

IACR Communications in Cryptology
2024-04-09 | Journal article
DOI: 10.62056/a63zl86bm
Contributors: Matteo Campanelli; Chaya Ganesh; Rosario Gennaro
Source: check_circle
Crossref

Impossibilities in Succinct Arguments: Black-Box Extraction and More

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2023 | Book
DOI: 10.1007/978-3-031-37679-5_20
EID:

2-s2.0-85169047546

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Ganesh, C.; Khoshakhlagh, H.; Siim, J.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Structure-Preserving Compilers from New Notions of Obfuscations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2023 | Book
DOI: 10.1007/978-3-031-31371-4_23
EID:

2-s2.0-85161651406

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Francati, D.; Orlandi, C.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2023 | Book
DOI: 10.1007/978-3-031-44469-2_17
EID:

2-s2.0-85174449467

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Gailly, N.; Gennaro, R.; Jovanovic, P.; Mihali, M.; Thaler, J.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Zero-knowledge proofs for set membership: efficient, succinct, modular

Designs, Codes, and Cryptography
2023 | Journal article
DOI: 10.1007/s10623-023-01245-1
EID:

2-s2.0-85163732935

Part of ISSN: 15737586 09251022
Contributors: Benarroch, D.; Campanelli, M.; Fiore, D.; Gurkan, K.; Kolonelos, D.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees

2023-10-06 | Report
HAL: hal-04234948
Contributors: Matteo Campanelli; Antonio Faonio; Dario Fiore; Tianyu Li; Helger Lipmaa
Source: Self-asserted source
Matteo Campanelli via HAL

ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-030-97121-2_21
EID:

2-s2.0-85126188903

Part of ISSN: 16113349 03029743
Contributors: Aranha, D.F.; Bennedsen, E.M.; Campanelli, M.; Ganesh, C.; Orlandi, C.; Takahashi, A.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-031-22969-5_6
EID:

2-s2.0-85149616008

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; David, B.; Khoshakhlagh, H.; Konring, A.; Nielsen, J.B.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Linear-Map Vector Commitments and Their Practical Applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-031-22972-5_7
EID:

2-s2.0-85149671905

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Nitulescu, A.; Ràfols, C.; Zacharakis, A.; Zapico, A.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Proceedings of the ACM Conference on Computer and Communications Security
2022 | Conference paper
DOI: 10.1145/3548606.3560677
EID:

2-s2.0-85143054775

Part of ISSN: 15437221
Contributors: Campanelli, M.; Fiore, D.; Han, S.; Kim, J.; Kolonelos, D.; Oh, H.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets fromWell-Studied Assumptions

ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security
2022 | Conference paper
DOI: 10.1145/3488932.3517424
EID:

2-s2.0-85133196174
Contributors: Campanelli, M.; Hall-Andersen, M.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2022 | Book
DOI: 10.1007/978-3-031-14791-3_33
EID:

2-s2.0-85138011503

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Engelmann, F.; Orlandi, C.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
DOI: 10.1007/978-3-030-92078-4_1
EID:

2-s2.0-85121903484

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Faonio, A.; Fiore, D.; Querol, A.; Rodríguez, H.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Succinct Publicly-Certifiable Proofs: Or, Can a Blockchain Verify a Designated-Verifier Proof?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
DOI: 10.1007/978-3-030-92518-5_27
EID:

2-s2.0-85121904067

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Khoshakhlagh, H.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
DOI: 10.1007/978-3-662-64322-8_19
EID:

2-s2.0-85118946982

Part of ISSN: 16113349 03029743
Contributors: Benarroch, D.; Campanelli, M.; Fiore, D.; Gurkan, K.; Kolonelos, D.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-64834-3_1
EID:

2-s2.0-85097850365

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Fiore, D.; Greco, N.; Kolonelos, D.; Nizzardo, L.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Legosnark: Modular design and composition of succinct zero-knowledge proofs

Proceedings of the ACM Conference on Computer and Communications Security
2019 | Conference paper
DOI: 10.1145/3319535.3339820
EID:

2-s2.0-85075910668

Part of ISSN: 15437221
Contributors: Campanelli, M.; Fiore, D.; Querol, A.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Fine-Grained Secure Computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
DOI: 10.1007/978-3-030-03810-6_3
EID:

2-s2.0-85089715141

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Gennaro, R.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Efficient Rational Proofs for Space Bounded Computations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
DOI: 10.1007/978-3-319-68711-7_4
EID:

2-s2.0-85032879031

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Gennaro, R.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Jumping the air gap: Modeling cyber-physical attack paths in the internet-of-things

CPS-SPC 2017 - Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, co-located with CCS 2017
2017 | Conference paper
DOI: 10.1145/3140241.3140252
EID:

2-s2.0-85037172119
Contributors: Agadakos, I.; Chen, C.-Y.; Campanelli, M.; Anantharaman, P.; Copos, B.; Lepoint, T.; Locasto, M.; Ciocarlie, G.F.; Lindqvist, U.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Zero-Knowledge contingent payments revisited: Attacks and payments for services

Proceedings of the ACM Conference on Computer and Communications Security
2017 | Conference paper
DOI: 10.1145/3133956.3134060
EID:

2-s2.0-85041450077

Part of ISSN: 15437221
Contributors: Campanelli, M.; Gennaro, R.; Goldfeder, S.; Nizzardo, L.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Sequentially composable rational proofs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-25594-1_15
EID:

2-s2.0-84953329671

Part of ISSN: 16113349 03029743
Contributors: Campanelli, M.; Gennaro, R.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

Pattern matching with swaps in practice

International Journal of Foundations of Computer Science
2012 | Journal article
DOI: 10.1142/S0129054112400151
EID:

2-s2.0-84868115219

Part of ISSN: 01290541
Contributors: Campanelli, M.; Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

A new algorithm for efficient pattern matching with Swaps

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-10217-2_24
EID:

2-s2.0-78650598763

Part of ISSN: 03029743 16113349
Contributors: Campanelli, M.; Cantone, D.; Faro, S.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier

An efficient algorithm for approximate pattern matching with swaps

Proceedings of the Prague Stringology Conference 2009
2009 | Conference paper
EID:

2-s2.0-84868124447
Contributors: Campanelli, M.; Cantone, D.; Faro, S.; Giaquinta, E.
Source: Self-asserted source
Matteo Campanelli via Scopus - Elsevier
How many people are using ORCID?