Daniele Venturi

发表

Redactable Blockchain – or – Rewriting History in Bitcoin and Friends

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, 2017, 2017 IEEE European Symposium on Security and Privacy (EuroS&P).

Fiat-Shamir for Highly Sound Protocols Is Instantiable

Daniele Venturi, Arno Mittelbach, Arno Mittelbach, 2016, SCN.

Rank-Adaptive Tensor Methods for High-Dimensional Nonlinear PDEs pdf

Daniele Venturi, Alec Dektor, Abram Rodgers, 2020, Journal of Scientific Computing.

Entangled cloud storage

Ivan Damgård, Giuseppe Ateniese, Daniele Venturi, 2016, Future Gener. Comput. Syst..

Naor-Yung Paradigm with Shared Randomness and Applications

Daniele Venturi, Silvio Biagioni, Daniel Masny, 2016, SCN.

Secure Multi-Party Computation from Strongly Uniform Key Agreement

Daniele Venturi, Daniel Masny, Daniele Friolo, 2018, IACR Cryptol. ePrint Arch..

Cryptographic reverse firewalls for interactive proof systems

Bernardo Magri, Daniele Venturi, Chaya Ganesh, 2021, Theor. Comput. Sci..

Non-malleable Encryption: Simpler, Shorter, Stronger

Yevgeniy Dodis, Sandro Coretti, Daniele Venturi, 2016, Journal of Cryptology.

Rate-Limited Secure Function Evaluation: Definitions and Constructions

Payman Mohassel, Daniele Venturi, Özgür Dagdelen, 2013, Public Key Cryptography.

A Tamper and Leakage Resilient von Neumann Architecture

Pratyay Mukherjee, Daniele Venturi, Sebastian Faust, 2015, Public Key Cryptography.

Lecture Notes on Algorithmic Number Theory

Daniele Venturi, D. Venturi, 2009, Electron. Colloquium Comput. Complex..

(De-)Constructing TLS

Ueli Maurer, Markulf Kohlweiss, Daniele Venturi, 2014, IACR Cryptol. ePrint Arch..

Non-monotonic Security Protocols and Failures in Financial Intermediation

Julian Williams, Fabio Massacci, Daniele Venturi, 2018, Security Protocols Workshop.

Self-Destruct Non-Malleability

Yevgeniy Dodis, Sandro Coretti, Daniele Venturi, 2014, IACR Cryptol. ePrint Arch..

On the Connection between Leakage Tolerance and Adaptive Security

Daniele Venturi, Jesper Buus Nielsen, Angela Zottarel, 2013, Public Key Cryptography.

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

Antonio Faonio, Maciej Obremski, João L. Ribeiro, 2022, IEEE Transactions on Information Theory.

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

Daniele Venturi, Michele Ciampi, Roberto Parisella, 2020, IACR Cryptol. ePrint Arch..

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

Andrea Baiocchi, Alfredo Todini, Daniele Venturi, 2009, 2009 IEEE International Conference on Communications.

Leakage-Resilient Storage

Stefan Dziembowski, Daniele Venturi, Francesco Davì, 2010, SCN.

A new paradigm for variable-fidelity stochastic simulation and information fusion in fluid mechanics

George Em Karniadakis, Paris Perdikaris, Daniele Venturi, 2015 .

Secure Outsourcing of Cryptographic Circuits Manufacturing

Aggelos Kiayias, Giuseppe Ateniese, Bernardo Magri, 2018, ProvSec.

Public Immunization Against Complete Subversion Without Random Oracles

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, 2019, ACNS.

Continuously Non-malleable Codes with Split-State Refresh

Antonio Faonio, Mark Simkin, Daniele Venturi, 2018, ACNS.

Multi-Covert Channel Attack in the Cloud

Luigi V. Mancini, Daniele Venturi, Mahdi Akil, 2019, 2019 Sixth International Conference on Software Defined Systems (SDS).

Non-Malleable Codes for Space-Bounded Tampering

Pratyay Mukherjee, Daniele Venturi, Sebastian Faust, 2017, CRYPTO.

Efficient Authentication from Hard Learning Problems

David Cash, Eike Kiltz, Abhishek Jain, 2011, Journal of Cryptology.

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

Daniele Venturi, Sebastian Faust, Krzysztof Pietrzak, 2011, ICALP.

Chosen-Ciphertext Security from Subset Sum

Daniele Venturi, Sebastian Faust, Daniel Masny, 2016, Public Key Cryptography.

Predictable Arguments of Knowledge

Antonio Faonio, Daniele Venturi, Jesper Buus Nielsen, 2017, Public Key Cryptography.

Naor-Yung paradigm with shared randomness and applications

Daniele Venturi, Silvio Biagioni, Daniel Masny, 2016, Theor. Comput. Sci..

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

Antonio Faonio, Maciej Obremski, Daniele Venturi, 2020, IACR Cryptol. ePrint Arch..

Rate-limited secure function evaluation

Payman Mohassel, Daniele Venturi, Özgür Dagdelen, 2016, Theor. Comput. Sci..

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

Julian Williams, Fabio Massacci, Jing Nie, 2017, Security Protocols Workshop.

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

Daniele Venturi, Özgür Dagdelen, Özgür Dagdelen, 2014, BalkanCryptSec.

Bounded Tamper Resilience: How to Go beyond the Algebraic Barrier

Ivan Damgård, Pratyay Mukherjee, Daniele Venturi, 2013, ASIACRYPT.

Efficient Public-Key Cryptography with Bounded Leakage and Tamper Resilience

Antonio Faonio, Daniele Venturi, 2016, ASIACRYPT.

Secure Outsourcing of Circuit Manufacturing

Aggelos Kiayias, Giuseppe Ateniese, Bernardo Magri, 2016, IACR Cryptol. ePrint Arch..

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

Ivan Visconti, Daniele Venturi, Daniele Friolo, 2019, IACR Cryptol. ePrint Arch..

Anonymity-Preserving Public-Key Encryption: A Constructive Approach

Ueli Maurer, Markulf Kohlweiss, Daniele Venturi, 2013, Privacy Enhancing Technologies.

Securing Underwater Communications: Key Agreement based on Fully Hashed MQV

Chiara Petrioli, Gabriele Saturni, Daniele Spaccini, 2017, WUWNet.

Continuously Non-malleable Codes in the Split-State Model

Pratyay Mukherjee, Daniele Venturi, Sebastian Faust, 2020, Journal of Cryptology.

Tamper Resilient Cryptography Without Self-Destruct

Ivan Damgård, Pratyay Mukherjee, Daniele Venturi, 2013, IACR Cryptol. ePrint Arch..

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

Fabio Massacci, Daniele Venturi, Daniele Friolo, 2020, 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Efficient Non-malleable Codes and Key-Derivation for Poly-size Tampering Circuits

Daniel Wichs, Pratyay Mukherjee, Daniele Venturi, 2014, EUROCRYPT.

Security & Indistinguishability in the Presence of Traffic Analysis

Daniele Venturi, Cristina Onete, Cristina Onete, 2011, IACR Cryptol. ePrint Arch..

Secure Data Sharing and Processing in Heterogeneous Clouds

Baldur Kubo, Daniele Venturi, Florian Reimair, 2015, Cloud Forward.

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

Daniel Wichs, Pratyay Mukherjee, Daniele Venturi, 2014, IEEE Transactions on Information Theory.

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

Rafail Ostrovsky, Ivan Visconti, Giuseppe Persiano, 2018, IACR Cryptol. ePrint Arch..

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

Antonio Faonio, Daniele Venturi, Antonio Faonio, 2019, IACR Cryptol. ePrint Arch..

Rate-Optimizing Compilers for Continuously Non-Malleable Codes

Sandro Coretti, Antonio Faonio, Daniele Venturi, 2019, IACR Cryptol. ePrint Arch..

Continuously non-malleable codes with split-state refresh

Antonio Faonio, Mark Simkin, Daniele Venturi, 2019, Theor. Comput. Sci..

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

Antonio Faonio, Daniele Venturi, Jesper Buus Nielsen, 2017, Theor. Comput. Sci..

A Second Look at Fischlin's Transformation

Daniele Venturi, Özgür Dagdelen, Özgür Dagdelen, 2014, AFRICACRYPT.

EOF‐based constrained sensor placement and field reconstruction from noisy ocean measurements: Application to Nantucket Sound

George Em Karniadakis, Xiu Yang, Daniele Venturi, 2010 .

(De-)Constructing TLS 1.3

Ueli Maurer, Markulf Kohlweiss, Daniele Venturi, 2015, INDOCRYPT.

Continuously Non-Malleable Secret Sharing for General Access Structures

Antonio Faonio, Daniele Venturi, Gianluca Brian, 2019, IACR Cryptol. ePrint Arch..

FuturesMEX: Secure, Distributed Futures Market Exchange

Julian Williams, Fabio Massacci, Jing Nie, 2018, 2018 IEEE Symposium on Security and Privacy (SP).

Bounded Tamper Resilience: How to Go Beyond the Algebraic Barrier

Ivan Damgård, Pratyay Mukherjee, Daniele Venturi, 2013, Journal of Cryptology.

Subversion-resilient signatures: Definitions, constructions and applications

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, 2020, Theor. Comput. Sci..

Immunization against Complete Subversion without Random Oracles

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, 2019, IACR Cryptol. ePrint Arch..

Non-malleable Encryption: Simpler, Shorter, Stronger

Ueli Maurer, Yevgeniy Dodis, Sandro Coretti, 2020, Journal of Cryptology.

Improving neural network predictions of material properties with limited data using transfer learning pdf

Daniele Venturi, Schuyler Krawczuk, 2020, ArXiv.

Cryptographic Reverse Firewalls for Interactive Proof Systems

Bernardo Magri, Daniele Venturi, Chaya Ganesh, 2020, IACR Cryptol. ePrint Arch..

A Tamper and Leakage Resilient Random Access Machine

Pratyay Mukherjee, Daniele Venturi, Sebastian Faust, 2014, IACR Cryptology ePrint Archive.

Match Me if You Can: Matchmaking Encryption and Its Applications

Giuseppe Ateniese, Daniele Venturi, David Nuñez, 2019, Journal of Cryptology.

Outsourced Pattern Matching

Carmit Hazay, Daniele Venturi, Sebastian Faust, 2013, ICALP.

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

Antonio Faonio, Daniele Venturi, Jesper Buus Nielsen, 2015, ICALP.

Entangled Encodings and Data Entanglement

Ivan Damgård, Giuseppe Ateniese, Daniele Venturi, 2015, SCC@ASIACCS.

Outsourced pattern matching

Carmit Hazay, Daniele Venturi, Sebastian Faust, 2017, International Journal of Information Security.

Leakage-Resilient Signatures with Graceful Degradation

Daniele Venturi, Jesper Buus Nielsen, Angela Zottarel, 2014, Public Key Cryptography.

Subversion-Resilient Signature Schemes

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, 2015, IACR Cryptol. ePrint Arch..

The Chaining Lemma and Its Application

Ivan Damgård, Pratyay Mukherjee, Daniele Venturi, 2015, ICITS.

Efficient Authentication from Hard Learning Problems

David Cash, Eike Kiltz, Abhishek Jain, 2011, EUROCRYPT.

Continuous Non-malleable Codes

Pratyay Mukherjee, Daniele Venturi, Sebastian Faust, 2014, IACR Cryptol. ePrint Arch..

From Single-Bit to Multi-bit Public-Key Encryption via Non-malleable Codes

Ueli Maurer, Sandro Coretti, Daniele Venturi, 2015, TCC.

Efficient authentication from hard learning

Charles David Cash, Eike Kiltz, Daniele Venturi, 2011 .

Fiat-Shamir for Highly Sound Protocols Is Instantiable

Daniele Venturi, Arno Mittelbach, 2016, SCN.

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

Fabio Massacci, Daniele Venturi, Daniele Friolo, 2019, Security Protocols Workshop.

On the Non-malleability of the Fiat-Shamir Transform

Markulf Kohlweiss, Daniele Venturi, Sebastian Faust, 2012, INDOCRYPT.

Identity-Based Matchmaking Encryption Without Random Oracles

Daniele Venturi, Danilo Francati, Alessio Guidi, 2021, INDOCRYPT.

Shielded Computations in Smart Contracts Overcoming Forks

Ivan Visconti, Daniele Venturi, Daniele Friolo, 2021, Financial Cryptography.

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

Antonio Faonio, Daniele Venturi, Gianluca Brian, 2021, IACR Cryptol. ePrint Arch..

Match Me if You Can: Matchmaking Encryption and its Applications

Giuseppe Ateniese, Daniele Venturi, David Nuñez, 2019, IACR Cryptol. ePrint Arch..

A compiler for multi-key homomorphic signatures for Turing machines

Morteza Amini, Dario Fiore, Daniele Venturi, 2021, Theor. Comput. Sci..