Daniele Venturi

According to our database, Daniele Venturi authored at least 89 papers between 2009 and 2025.

Collaborative distances:

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

2025

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae.

Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti

J. Cryptol., March, 2025

2024

Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors.

Danilo Francati, Daniele Friolo, Giulio Malavolta, Daniele Venturi

J. Cryptol., September, 2024

Improved Reductions from Noisy to Bounded and Probing Leakages via Hockey-Stick Divergences.

Maciej Obremski, João Ribeiro, Lawrence Roy, François-Xavier Standaert, Daniele Venturi

IACR Cryptol. ePrint Arch., 2024

MARTSIA: Safeguarding Data Confidentiality in Blockchain-Driven Process Execution.

Michele Kryston, Edoardo Marangone, Claudio Di Ciccio, Daniele Friolo, Eugenio Nerio Nemmi, Mattia Samory, Michele Spina, Daniele Venturi, Ingo Weber

CoRR, 2024

Watermarks in the Sand: Impossibility of Strong Watermarking for Language Models.

Hanlin Zhang, Benjamin L. Edelman, Danilo Francati, Daniele Venturi, Giuseppe Ateniese, Boaz Barak

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Non-malleable Fuzzy Extractors.

Danilo Francati, Daniele Venturi

Proceedings of the Applied Cryptography and Network Security, 2024

2023

Watermarks in the Sand: Impossibility of Strong Watermarking for Generative Models.

Hanlin Zhang, Benjamin L. Edelman, Danilo Francati, Daniele Venturi, Giuseppe Ateniese, Boaz Barak

IACR Cryptol. ePrint Arch., 2023

Evolving Secret Sharing Made Short.

Danilo Francati, Daniele Venturi

IACR Cryptol. ePrint Arch., 2023

Registered (Inner-Product) Functional Encryption.

Danilo Francati, Daniele Friolo, Monosij Maitra, Giulio Malavolta, Ahmadreza Rahimi, Daniele Venturi

IACR Cryptol. ePrint Arch., 2023

Key Exchange in the Post-Snowden Era: UC Secure Subversion-Resilient PAKE.

Suvradip Chakraborty, Lorenzo Magliocco, Bernardo Magri, Daniele Venturi

IACR Cryptol. ePrint Arch., 2023

Enabling Data Confidentiality with Public Blockchains.

Edoardo Marangone, Claudio Di Ciccio, Daniele Friolo, Eugenio Nerio Nemmi, Daniele Venturi, Ingo Weber

CoRR, 2023

MARTSIA: Enabling Data Confidentiality for Blockchain-Based Process Execution.

Edoardo Marangone, Claudio Di Ciccio, Daniele Friolo, Eugenio Nerio Nemmi, Daniele Venturi, Ingo Weber

Proceedings of the Enterprise Design, Operations, and Computing, 2023

2022

Short Non-Malleable Codes from Related-Key Secure Block Ciphers, Revisited.

Gianluca Brian, Antonio Faonio, João Ribeiro, Daniele Venturi

IACR Trans. Symmetric Cryptol., 2022

The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free.

Gianluca Brian, Antonio Faonio, Maciej Obremski, João Ribeiro, Mark Simkin, Maciej Skórski, Daniele Venturi

IEEE Trans. Inf. Theory, 2022

Cryptographic and Financial Fairness.

Daniele Friolo, Fabio Massacci, Chan Nam Ngo, Daniele Venturi

IEEE Trans. Inf. Forensics Secur., 2022

From Privacy-Only to Simulatable OT: Black-Box, Round-Optimal, Information-theoretic.

Varun Madathil, Chris Orsini, Alessandra Scafuro, Daniele Venturi

IACR Cryptol. ePrint Arch., 2022

On the Complete Non-Malleability of the Fujisaki-Okamoto Transform.

Daniele Friolo, Matteo Salvino, Daniele Venturi

IACR Cryptol. ePrint Arch., 2022

Multi-key and Multi-input Predicate Encryption from Learning with Errors.

Danilo Francati, Daniele Friolo, Giulio Malavolta, Daniele Venturi

IACR Cryptol. ePrint Arch., 2022

Universally Composable Subversion-Resilient Cryptography.

Suvradip Chakraborty, Bernardo Magri, Jesper Buus Nielsen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2022

Continuously Non-Malleable Codes against Bounded-Depth Tampering.

Gianluca Brian, Sebastian Faust, Elena Micheli, Daniele Venturi

IACR Cryptol. ePrint Arch., 2022

2021

A compiler for multi-key homomorphic signatures for Turing machines.

Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini

Theor. Comput. Sci., 2021

Cryptographic reverse firewalls for interactive proof systems.

Chaya Ganesh, Bernardo Magri, Daniele Venturi

Theor. Comput. Sci., 2021

Immunization against complete subversion without random oracles.

Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi

Theor. Comput. Sci., 2021

Match Me if You Can: Matchmaking Encryption and Its Applications.

Giuseppe Ateniese, Danilo Francati, David Nuñez, Daniele Venturi

J. Cryptol., 2021

Identity-Based Matchmaking Encryption without Random Oracles.

Danilo Francati, Alessio Guidi, Luigi Russo, Daniele Venturi

IACR Cryptol. ePrint Arch., 2021

Continuously Non-Malleable Secret Sharing: Joint Tampering, Plain Model and Capacity.

Gianluca Brian, Antonio Faonio, Daniele Venturi

IACR Cryptol. ePrint Arch., 2021

Shielded Computations in Smart Contracts Overcoming Forks.

Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti

Proceedings of the Financial Cryptography and Data Security, 2021

2020

Subversion-resilient signatures: Definitions, constructions and applications.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi

Theor. Comput. Sci., 2020

Continuously Non-malleable Codes in the Split-State Model.

Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi

J. Cryptol., 2020

Non-malleable Encryption: Simpler, Shorter, Stronger.

Sandro Coretti, Yevgeniy Dodis, Ueli Maurer, Björn Tackmann, Daniele Venturi

J. Cryptol., 2020

On Adaptive Security of Delayed-Input Sigma Protocols and Fiat-Shamir NIZKs.

Michele Ciampi, Roberto Parisella, Daniele Venturi

IACR Cryptol. ePrint Arch., 2020

Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model.

Gianluca Brian, Antonio Faonio, Maciej Obremski, Mark Simkin, Daniele Venturi

IACR Cryptol. ePrint Arch., 2020

Vision: What If They All Die? Crypto Requirements For Key People.

Chan Nam Ngo, Daniele Friolo, Fabio Massacci, Daniele Venturi, Ettore Battaiola

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

Continuously non-malleable codes with split-state refresh.

Antonio Faonio, Jesper Buus Nielsen, Mark Simkin, Daniele Venturi

Theor. Comput. Sci., 2019

Non-Malleable Secret Sharing in the Computational Setting: Adaptive Tampering, Noisy-Leakage Resilience, and Improved Rate.

Antonio Faonio, Daniele Venturi

IACR Cryptol. ePrint Arch., 2019

Rate-Optimizing Compilers for Continuously Non-Malleable Codes.

Sandro Coretti, Antonio Faonio, Daniele Venturi

IACR Cryptol. ePrint Arch., 2019

Continuously Non-Malleable Secret Sharing for General Access Structures.

Gianluca Brian, Antonio Faonio, Daniele Venturi

IACR Cryptol. ePrint Arch., 2019

The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains.

Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti

IACR Cryptol. ePrint Arch., 2019

A Black-Box Construction of Fully-Simulatable, Round-Optimal Oblivious Transfer from Strongly Uniform Key Agreement.

Daniele Friolo, Daniel Masny, Daniele Venturi

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Affordable Security or Big Guy vs Small Guy - Does the Depth of Your Pockets Impact Your Protocols?

Daniele Friolo, Fabio Massacci, Chan Nam Ngo, Daniele Venturi

Proceedings of the Security Protocols XXVII, 2019

Multi-Covert Channel Attack in the Cloud.

Mahdi Akil, Luigi V. Mancini, Daniele Venturi

Proceedings of the 6th International Conference on Software Defined Systems, 2019

Public Immunization Against Complete Subversion Without Random Oracles.

Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi

Proceedings of the Applied Cryptography and Network Security, 2019

2018

Fiat-Shamir for highly sound protocols is instantiable.

Arno Mittelbach, Daniele Venturi

Theor. Comput. Sci., 2018

Continuously Non-Malleable Codes in the Split-State Model from Minimal Assumptions.

Rafail Ostrovsky, Giuseppe Persiano, Daniele Venturi, Ivan Visconti

IACR Cryptol. ePrint Arch., 2018

Secure Multi-Party Computation from Strongly Uniform Key Agreement.

Daniele Friolo, Daniel Masny, Daniele Venturi

IACR Cryptol. ePrint Arch., 2018

Non-monotonic Security Protocols and Failures in Financial Intermediation.

Fabio Massacci, Chan Nam Ngo, Daniele Venturi, Julian Williams

Proceedings of the Security Protocols XXVI, 2018

FuturesMEX: Secure, Distributed Futures Market Exchange.

Fabio Massacci, Chan Nam Ngo, Jing Nie, Daniele Venturi, Julian Williams

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Secure Outsourcing of Cryptographic Circuits Manufacturing.

Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi

Proceedings of the Provable Security, 2018

2017

Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model.

Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi

Theor. Comput. Sci., 2017

Naor-Yung paradigm with shared randomness and applications.

Silvio Biagioni, Daniel Masny, Daniele Venturi

Theor. Comput. Sci., 2017

Efficient Authentication from Hard Learning Problems.

Eike Kiltz, Krzysztof Pietrzak, Daniele Venturi, David Cash, Abhishek Jain

J. Cryptol., 2017

Bounded Tamper Resilience: How to Go Beyond the Algebraic Barrier.

Ivan Damgård, Sebastian Faust, Pratyay Mukherjee, Daniele Venturi

J. Cryptol., 2017

Non-Malleable Codes for Space-Bounded Tampering.

Sebastian Faust, Kristina Hostáková, Pratyay Mukherjee, Daniele Venturi

IACR Cryptol. ePrint Arch., 2017

Securing Underwater Communications: Key Agreement based on Fully Hashed MQV.

Angelo Capossele, Chiara Petrioli, Gabriele Saturni, Daniele Spaccini, Daniele Venturi

Proceedings of the International Conference on Underwater Networks & Systems, 2017

The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations.

Fabio Massacci, Chan Nam Ngo, Jing Nie, Daniele Venturi, Julian Williams

Proceedings of the Security Protocols XXV, 2017

2016

Tampering in wonderland.

Daniele Venturi

PhD thesis, 2016

Efficient Non-Malleable Codes and Key Derivation for Poly-Size Tampering Circuits.

Sebastian Faust, Pratyay Mukherjee, Daniele Venturi, Daniel Wichs

IEEE Trans. Inf. Theory, 2016

Rate-limited secure function evaluation.

Özgür Dagdelen, Payman Mohassel, Daniele Venturi

Theor. Comput. Sci., 2016

Efficient Public-Key Cryptography with Bounded Leakage and Tamper Resilience.

Antonio Faonio, Daniele Venturi

IACR Cryptol. ePrint Arch., 2016

Redactable Blockchain - or - Rewriting History in Bitcoin and Friends.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, Ewerton R. Andrade

IACR Cryptol. ePrint Arch., 2016

Secure Outsourcing of Circuit Manufacturing.

Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi

IACR Cryptol. ePrint Arch., 2016

Entangled cloud storage.

Giuseppe Ateniese, Özgür Dagdelen, Ivan Damgård, Daniele Venturi

Future Gener. Comput. Syst., 2016

2015

Chosen-Ciphertext Security from Subset Sum.

Sebastian Faust, Daniel Masny, Daniele Venturi

IACR Cryptol. ePrint Arch., 2015

Predictable Arguments of Knowledge.

Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2015

Non-Malleable Encryption: Simpler, Shorter, Stronger.

Sandro Coretti, Yevgeniy Dodis, Björn Tackmann, Daniele Venturi

IACR Cryptol. ePrint Arch., 2015

Subversion-Resilient Signature Schemes.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi

IACR Cryptol. ePrint Arch., 2015

A Tamper and Leakage Resilient von Neumann Architecture.

Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi

Proceedings of the Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30, 2015

(De-)Constructing TLS 1.3.

Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi

Proceedings of the Progress in Cryptology - INDOCRYPT 2015, 2015

Secure Data Sharing and Processing in Heterogeneous Clouds.

Bojan Suzic, Andreas Reiter, Florian Reimair, Daniele Venturi, Baldur Kubo

Proceedings of the 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015

Entangled Encodings and Data Entanglement.

Giuseppe Ateniese, Özgür Dagdelen, Ivan Damgård, Daniele Venturi

Proceedings of the 3rd International Workshop on Security in Cloud Computing, 2015

2014

Leakage-Resilient Signatures with Graceful Degradation.

Jesper Buus Nielsen, Daniele Venturi, Angela Zottarel

IACR Cryptol. ePrint Arch., 2014

On the Connection between Leakage Tolerance and Adaptive Security.

Jesper Buus Nielsen, Daniele Venturi, Angela Zottarel

IACR Cryptol. ePrint Arch., 2014

(De-)Constructing TLS.

Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

A Tamper and Leakage Resilient Random Access Machine.

Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

Continuous Non-malleable Codes.

Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

Outsourced Pattern Matching.

Sebastian Faust, Carmit Hazay, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation.

Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

The Chaining Lemma and its application.

Ivan Damgård, Sebastian Faust, Pratyay Mukherjee, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

A Second Look at Fischlin's Transformation.

Özgür Dagdelen, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

From Single-Bit to Multi-Bit Public-Key Encryption via Non-Malleable Codes.

Sandro Coretti, Ueli Maurer, Björn Tackmann, Daniele Venturi

IACR Cryptol. ePrint Arch., 2014

A Multi-Party Protocol for Privacy-Preserving Cooperative Linear Systems of Equations.

Özgür Dagdelen, Daniele Venturi

Proceedings of the Cryptography and Information Security in the Balkans, 2014

2013

Anonymity-preserving Public-Key Encryption: A Constructive Approach.

Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi

IACR Cryptol. ePrint Arch., 2013

Rate-Limited Secure Function Evaluation: Definitions and Constructions.

Özgür Dagdelen, Payman Mohassel, Daniele Venturi

IACR Cryptol. ePrint Arch., 2013

2012

On the Non-malleability of the Fiat-Shamir Transform.

Sebastian Faust, Markulf Kohlweiss, Giorgia Azzurra Marson, Daniele Venturi

IACR Cryptol. ePrint Arch., 2012

2011

Security & Indistinguishability in the Presence of Traffic Analysis.

Cristina Onete, Daniele Venturi

IACR Cryptol. ePrint Arch., 2011

Tamper-Proof Circuits: How to Trade Leakage for Tamper-Resilience.

Sebastian Faust, Krzysztof Pietrzak, Daniele Venturi

IACR Cryptol. ePrint Arch., 2011

2009

Leakage-Resilient Storage.

Francesco Davì, Stefan Dziembowski, Daniele Venturi

IACR Cryptol. ePrint Arch., 2009

Lecture Notes on Algorithmic Number Theory.

Daniele Venturi

Electron. Colloquium Comput. Complex., 2009

Inadequacy of the Queue-Based Max-Weight Optimal Scheduler on Wireless Links with TCP Sources.

Alfredo Todini, Andrea Baiocchi, Daniele Venturi

Proceedings of IEEE International Conference on Communications, 2009