Publications
Below is a "wordle" generated using the key words in the titles of my papers (December 2016). See also my page on DBLP and Google Scholar for a list of publications and for bibtex data.
Conference Papers
2023
- Registered (Inner-Product) Functional Encryption
Danilo Francati, Daniele Friolo, Monosij Maitra, Giulio Malavolta, Ahmadreza Rahimi, Daniele Venturi [pdf]
ASIACRYPT 2023
- Enabling Data Confidentiality with Public Blockchains
Edoardo Marangone, Claudio Di Ciccio, Daniele Friolo, Eugenio Nerio Nemmi, Daniele Venturi, Ingo Weber [pdf]
EDOC 2023
- Multi-key and Multi-input Predicate Encryption from Learning with Errors
Danilo Francati, Daniele Friolo, Giulio Malavolta, Daniele Venturi [pdf]
EUROCRYPT 2023
- On the Complete Non-malleability of the Fujisaki-Okamoto Transform
Daniele Friolo, Matteo Salvino, Daniele Venturi [pdf]
ACNS 2023
- Short Non-Malleable Codes from Related-Key Secure Block Ciphers, Revisited
Gianluca Brian, Antonio Faonio, Joao Ribeiro, Daniele Venturi [pdf]
FSE 2023
2022
- Continuously Non-Malleable Codes against Bounded-Depth Tampering
Gianluca Brian, Sebastian Faust, Elena Micheli, Daniele Venturi [pdf]
ASIACRYPT 2022
- From Privacy-Only to Simulatable OT: Black-Box, Round-Optimal, Information-theoretic
Varun Madathil, Chris Orsini, Alessandra Scafuro, Daniele Venturi [pdf]
ITC 2022
- Universally Composable Subversion-Resilient Cryptography
Suvradip Chakraborty, Bernardo Magri, Jesper Buus Nielsen, Daniele Venturi [pdf]
EUROCRYPT 2022
2021
- Identity-Based Matchmaking Encryption without Random Oracles
Danilo Francati, Alessio Guidi, Luigi Russo, Daniele Venturi [pdf]
INDOCRYPT 2021
- Continuously Non-Malleable Secret Sharing: Joint Tampering, Plain Model and Capacity
Gianluca Brian, Antonio Faonio, Daniele Venturi [pdf]
TCC 2021
- The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free
Gianluca Brian, Antonio Faonio, Maciej Obremski, Joao Ribeiro, Mark Simkin, Maciej Skorski, Daniele Venturi [pdf]
EUROCRYPT 2021
- Shielded Computations in Smart Contracts Overcoming Forks
Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti [pdf]
FINANCIAL CRYPTOGRAPHY 2021
2020
- On Adaptive Security of Delayed-Input Sigma Protocols and Fiat-Shamir NIZKs
Michele Ciampi, Roberto Parisella, Daniele Venturi [pdf]
SCN 2020
- Non-Malleable Secret Sharing against Bounded Joint-Tampering Attacks in the Plain Model
Gianlunca Brian, Antonio Faonio, Maciej Obremski, Mark Simkin, Daniele Venturi [pdf]
CRYPTO 2020
- Cryptographic Reverse Firewalls for Interactive Proof Systems
Chaya Ganesh, Bernardo Magri, Daniele Venturi [pdf]
ICALP 2020
- What If They All Die? Crypto Requirements For Key People
Chan Nam Ngo, Daniele Friolo, Fabio Massacci, Daniele Venturi, Ettore Battaiola [pdf]
EuroUSEC 2020
2019
- A Black-Box Construction of Fully-Simulatable, Round-Optimal Oblivious Transfer from Strongly Uniform Key Agreement
Daniele Friolo, Daniel Masny, Daniele Venturi [pdf]
TCC 2019
- Continuously Non-Malleable Secret Sharing for General Access Structures
Gianluca Brian, Antonio Faonio, Daniele Venturi [pdf]
TCC 2019
- Non-Malleable Secret Sharing in the Computational Setting: Adaptive Tampering, Noisy-Leakage Resilience, and Improved Rate
Antonio Faonio, Daniele Venturi [pdf]
CRYPTO 2019
- Match Me if You Can: Matchmaking Encryption and its Applications
Giuseppe Ateniese, Danilo Francati, David Nunez, Daniele Venturi [pdf]
CRYPTO 2019
- Rate-Optimizing Compilers for Continuously Non-Malleable Codes
Sandro Coretti, Antonio Faonio, Daniele Venturi [pdf]
ACNS 2019
- Public Immunization against Complete Subversion without Random Oracles
Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi [pdf]
ACNS 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 [pdf]
SPW 2019
2018
- Secure Outsourcing of Circuit Manufacturing
Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi [pdf]
ProvSec 2018
- Continuously Non-Malleable Codes in the Split-State Model from Minimal Assumptions
Rafail Ostrovsky, Giuseppe Persiano, Daniele Venturi, Ivan Visconti [pdf]
CRYPTO 2018
- Continuously Non-Malleable Codes with Split-State Refresh
Antonio Faonio, Jesper Buus Nielsen, Mark Simkin, Daniele Venturi [pdf]
ACNS 2018
- Non-Monotonic Security Protocols and Failures in Financial Intermediation
Fabio Massacci, Chan Nam Ngo, Daniele Venturi, Julian Williams [pdf]
SPW 2018
- FuturesMEX: Secure Distributed Futures Market Exchange
Fabio Massacci, Cham Nam Ngo, Jing Nie, Daniele Venturi, Julian Williams [pdf]
IEEE S&P 2018
2017
- Non-Malleable Codes for Space Bounded Tampering
Sebastian Faust, Kristina Hostáková, Pratyay Mukherjee, Daniele Venturi [pdf]
CRYPTO 2017
- The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations
Fabio Massacci, Chan Nam Ngo, Jing Nie, Daniele Venturi, Julian Williams [pdf]
SPW 2017
- Redactable Blockchain -- or -- Rewriting History in Bitcoin and Friends
Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, Ewerton Andrade [pdf] [press]
IEEE Euro S&P 2017
- Predictable Arguments of Knowledge
Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi) [pdf]
PKC 2017
2016
- Efficient Public-Key Cryptography with Bounded Leakage and Tamper Resilience
Antonio Faonio, Daniele Venturi [pdf]
ASIACRYPT 2016
- Naor-Yung Paradigm with Shared Randomness and Applications
Silvio Biagioni, Daniel Masny, Daniele Venturi [pdf]
SCN 2016
- Fiat-Shamir for Highly Sound Protocols is Instantiable
Arno Mittelbach, Daniele Venturi [pdf]
SCN 2016
- Chosen-Ciphertext Security from Subset Sum
Sebastian Faust, Daniel Masny, Daniele Venturi [pdf]
PKC 2016
- Non-Malleable Encryption: Simpler, Shorter, Stronger
Sandro Coretti, Yevgeniy Dodis, Björn Tackmann, Daniele Venturi [pdf]
TCC 2016-A
2015
- (De-)Constructing TLS 1.3
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi [pdf]
INDOCRYPT 2015
- Subversion-Resilient Signature Schemes
Giuseppe Ateniese, Bernardo Magri, Daniele Venturi [pdf]
ACM CCS 2015
- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation
Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi [pdf]
ICALP 2015
- The Chaining Lemma and its Application
Ivan Damgård, Sebastian Faust, Pratyay Mukherjee, Daniele Venturi [pdf]
ICITS 2015
- Entangled Encodings and Data Entanglement
Giuseppe Ateniese, Özgür Dagdelen, Ivan Damgård, Daniele Venturi [full version]
SCC@AsiaCCS 2015
- From Single-Bit to Multi-Bit Public-Key Encryption via Non-Malleable Codes
Sandro Coretti, Ueli Maurer, Björn Tackmann, Daniele Venturi [pdf]
TCC 2015
- A Tamper and Leakage Resilient von Neumann Architecture
Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi [pdf]
PKC 2015
2014
- A Multi-Party Protocol for Privacy-Preserving Cooperative Linear Systems of Equations
Özgür Dagdelen, Daniele Venturi [pdf]
BalkanCryptSec 2014
- A Second Look at Fischlin's Transformation
Özgür Dagdelen, Daniele Venturi [pdf] [slides]
AFRICACRYPT 2014
- Efficient Non-Malleable Codes and Key-Derivation for Poly-Size Tampering Circuits
Sebastian Faust, Pratyay Mukherjee, Daniele Venturi, Daniel Wichs [pdf] [slides]
EUROCRYPT 2014
- Leakage-Resilient Signatures with Graceful Degradation
Jesper Buus Nielsen, Daniele Venturi, Angela Zottarel [pdf] [slides]
PKC 2014
- Continuous Non-malleable Codes
Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi [pdf] [slides]
TCC 2014
2013
- Bounded Tamper Resilience: How to go beyond the Algebraic Barrier
Ivan Damgård, Sebastian Faust, Pratyay Mukherjee, Daniele Venturi [pdf] [slides]
ASIACRYPT 2013
- Outsourced Pattern Matching
Sebastian Faust, Carmit Hazay, Daniele Venturi [pdf] [slides]
ICALP 2013
- Anonymity-preserving Public-Key Encryption: A Constructive Approach
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi [pdf] [slides]
PETS 2013
- On the Connection between Leakage Tolerance and Adaptive Security
Jesper Buus Nielsen, Daniele Venturi, Angela Zottarel [pdf] [slides]
PKC 2013
- Rate-Limited Secure Function Evaluation: Definitions and Constructions
Özgür Dagdelen, Payman Mohassel, Daniele Venturi [pdf] [slides]
PKC 2013
2012
- On the Non-malleability of the Fiat-Shamir Transform
Sebastian Faust, Markulf Kohlweiss, Giorgia Azzurra Marson, Daniele Venturi [pdf] [slides]
INDOCRYPT 2012
2011
- Tamper-Proof Circuits: How to Trade Leakage for Tamper-Resilience
Sebastian Faust, Krzysztof Pietrzak, Daniele Venturi [pdf] [slides]
ICALP 2011
- Efficient Authentication from Hard Learning Problems
Eike Kiltz, Krzysztof Pietrzak, David Cash, Abhishek Jain, Daniele Venturi [pdf]
EUROCRYPT 2011 Best Paper Award
2010
- Leakage Resilient Storage
Francesco Davì, Stefan Dziembowski, Daniele Venturi [pdf]
SCN 2010
2009
- Inadequacy of the Queue-Based Max-Weight Optimal Scheduler on Wireless Links with TCP Sources
Alfredo Todini, Andrea Baiocchi, Daniele Venturi [pdf]
IEEE ICC 2009
Journal Papers
- Cryptographic and Financial Fairness
Daniele Friolo, Fabio Massacci, Chan Nam Ngo, Daniele Venturi [pdf]
IEEE Transactions on Information Forensics and Security
DOI: 10.1109/TIFS.2022.3198852
- The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free
Gianluca Brian, Antonio Faonio, Maciej Obremski, Joao Ribeiro, Mark Simkin, Maciej Skorski, Daniele Venturi
IEEE Transactions on Information Theory (Full version of the EUROCRYPT 2021 paper)
DOI: 10.1109/TIT.2022.3193848
- A Compiler for Multi-Key Homomorphic Signatures for Turing Machines
Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini [pdf]
Theoretical Computer Science
DOI: 10.1016/j.tcs.2021.08.002
- Match Me if You Can: Matchmaking Encryption and Its Applications
Giuseppe Ateniese, Danilo Francati, David Nunez, Daniele Venturi
Journal of Cryptology (Full version of the CRYPTO 2019 paper)
DOI: 10.1007/s00145-021-09381-4
- Immunization against Complete Subversion without Random Oracles
Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi
Theoretical Computer Science (Full version of the ACNS 2019 paper)
DOI: 10.1016/j.tcs.2021.01.002
- Cryptographic Reverse Firewalls for Interactive Proof Systems
Chaya Ganesh, Bernardo Magri, Daniele Venturi
Theoretical Computer Science (Full version of the ICALP 2020 paper)
DOI: 10.1016/j.tcs.2020.11.043
- Non-malleable Encryption: Simpler, Shorter, Stronger
Sandro Coretti, Yevgeniy Dodis, Björn Tackmann, Daniele Venturi
Journal of Cryptology (Full version of the TCC 2015 and TCC 2016 papers)
DOI: 10.1007/s00145-020-09361-0
- Continuously Non-Malleable Codes in the Split-State Model
Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi
Journal of Cryptology (Full version of the TCC 2014 paper)
DOI: 10.1007/s00145-020-09362-z
- Subversion-Resilient Signatures: Definitions, Constructions and Applications
Giuseppe Ateniese, Bernardo Magri, Daniele Venturi
Theoretical Computer Science (Full version of the CCS 2015 paper)
DOI: 10.1016/j.tcs.2020.03.021
- Continuously Non-Malleable Codes with Split-State Refresh
Antonio Faonio, Jesper Buus Nielsen, Mark Simkin, Daniele Venturi.
Theoretical Computer Science (Full version of the ACNS 2018 paper)
DOI: 10.1016/j.tcs.2018.05.001
- Fiat-Shamir for Highly Sound Protocols is Instantiable
Arno Mittelbach, Daniele Venturi
Theoretical Computer Science (Full version of the SCN 2016 paper)
DOI: 10.1016/j.tcs.2018.05.001
- Naor-Yung Paradigm with Shared Randomness and Applications
Silvio Biagioni, Daniel Masny, Daniele Venturi
Theoretical Computer Science (Full version of the SCN 2016 paper)
DOI: 10.1016/j.tcs.2017.06.019
- Outsourced Pattern Matching
Sebastian Faust, Carmit Hazay, Daniele Venturi
International Journal of Information Security (Full version of the ICALP 2013 paper)
DOI: 10.1007/s10207-017-0374-0
- Rate-Limited Secure Function Evaluation: Definitions and Constructions
Özgür Dagdelen, Payman Mohassel, Daniele Venturi
Theoretical Computer Science (Full version of the PKC 2013 paper)
DOI: 10.1016/j.tcs.2016.09.020
- Efficient Non-Malleable Codes and Key-Derivation for Poly-Size Tampering Circuits
Sebastian Faust, Pratyay Mukherjee, Daniele Venturi, Daniel Wichs
IEEE Transactions on Information Theory (Full version of the EUROCRYPT 2014 paper)
DOI: 10.1109/TIT.2016.2613919
- Fully Leakage-Resilient Signatures Revisited: Graceful Degradation, Noisy Leakage, and Construction in the Bounded-Retrieval Model
Antonio Faonio, Jesper Buus Nielsen, Daniele Venturi
Theoretical Computer Science (Full version of the ICALP 2015 paper)
DOI: 10.1016/j.tcs.2016.11.016
- Efficient Authentication from Hard Learning Problems
Eike Kiltz, Krzysztof Pietrzak, Daniele Venturi, David Cash, Abhishek Jain
Journal of Cryptology (Full version of the EUROCRYPT 2011 paper)
DOI: 10.1007/s00145-016-9247-3
- Bounded Tamper Resilience: How to go beyond the Algebraic Barrier
Ivan Damgård, Sebastian Faust, Pratyay Mukherjee, Daniele Venturi
Journal of Cryptology (Full version of the ASIACRYPT 2013 paper)
DOI: 10.1007/s00145-015-9218-0
- Entangled Cloud Storage
Giuseppe Ateniese, Özgür Dagdelen, Ivan Damgård, Daniele Venturi
Future Generation Computer Systems - Special Issue on Cloud Cryptography (Full version of the ASIACCS 2015 paper)
DOI: 10.1016/j.future.2016.01.008
|