Daniele Venturi

Somayeh Dolatnezhad Samarin

Proceedings of the 3rd Conference on Information-Theoretic Cryptography, 2022

Continuously Non-malleable Codes Against Bounded-Depth Tampering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

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

[BibT_eX]

[DOI]

Dario Fiore

Morteza Amini

Theor. Comput. Sci., 2021

Immunization against complete subversion without random oracles.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

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

[BibT_eX]

[DOI]

Gianluca Brian

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Identity-Based Matchmaking Encryption Without Random Oracles.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2021, 2021

Shielded Computations in Smart Contracts Overcoming Forks.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

2020

Subversion-resilient signatures: Definitions, constructions and applications.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Bernardo Magri

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

J. Cryptol., 2020

Non-malleable Encryption: Simpler, Shorter, Stronger.

[BibT_eX]

[DOI]

J. Cryptol., 2020

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

[BibT_eX]

[DOI]

Michele Ciampi

Roberto Parisella

Proceedings of the Security and Cryptography for Networks - 12th International Conference, 2020

Cryptographic Reverse Firewalls for Interactive Proof Systems.

[BibT_eX]

[DOI]

Chaya Ganesh

Bernardo Magri

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

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

[BibT_eX]

[DOI]

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

Non-malleable Secret Sharing Against Bounded Joint-Tampering Attacks in the Plain Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

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

[BibT_eX]

[DOI]

Daniele Friolo

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

Continuously Non-malleable Secret Sharing for General Access Structures.

[BibT_eX]

[DOI]

Gianluca Brian

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?

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXVII, 2019

Multi-Covert Channel Attack in the Cloud.

[BibT_eX]

[DOI]

Mahdi Akil

Luigi V. Mancini

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

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

Rate-Optimizing Compilers for Continuously Non-malleable Codes.

[BibT_eX]

[DOI]

Sandro Coretti

Proceedings of the Applied Cryptography and Network Security, 2019

Public Immunization Against Complete Subversion Without Random Oracles.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2019

2018

Secure Multi-Party Computation from Strongly Uniform Key Agreement.

[BibT_eX]

[DOI]

Daniele Friolo

IACR Cryptol. ePrint Arch., 2018

Non-monotonic Security Protocols and Failures in Financial Intermediation.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXVI, 2018

FuturesMEX: Secure, Distributed Futures Market Exchange.

[BibT_eX]

[DOI]

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

Secure Outsourcing of Cryptographic Circuits Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

Continuously Non-malleable Codes with Split-State Refresh.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2018

2017

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXV, 2017

Predictable Arguments of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Public-Key Cryptography - PKC 2017, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

Non-Malleable Codes for Space-Bounded Tampering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

2016

Tampering in wonderland.

[BibT_eX]

[DOI]

PhD thesis, 2016

Rate-limited secure function evaluation.

[BibT_eX]

[DOI]

Payman Mohassel

Theor. Comput. Sci., 2016

Secure Outsourcing of Circuit Manufacturing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Entangled cloud storage.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

Non-Malleable Encryption: Simpler, Shorter, Stronger.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 13th International Conference, 2016

Fiat-Shamir for Highly Sound Protocols Is Instantiable.

[BibT_eX]

[DOI]

Arno Mittelbach

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Naor-Yung Paradigm with Shared Randomness and Applications.

[BibT_eX]

[DOI]

Silvio Biagioni

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Chosen-Ciphertext Security from Subset Sum.

[BibT_eX]

[DOI]

Sebastian Faust

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

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

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 12th Theory of Cryptography Conference, 2015

A Tamper and Leakage Resilient von Neumann Architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2015, 2015

The Chaining Lemma and Its Application.

[BibT_eX]

[DOI]

Proceedings of the Information Theoretic Security - 8th International Conference, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Secure Data Sharing and Processing in Heterogeneous Clouds.

[BibT_eX]

[DOI]

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

Subversion-Resilient Signature Schemes.

[BibT_eX]

[DOI]

Giuseppe Ateniese

Bernardo Magri

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Entangled Encodings and Data Entanglement.

[BibT_eX]

[DOI]

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

2014

(De-)Constructing TLS.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

A Tamper and Leakage Resilient Random Access Machine.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Continuous Non-malleable Codes.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 11th Theory of Cryptography Conference, 2014

Leakage-Resilient Signatures with Graceful Degradation.

[BibT_eX]

[DOI]

Angela Zottarel

Proceedings of the Public-Key Cryptography - PKC 2014, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2014, 2014

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

[BibT_eX]

[DOI]

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

A Second Look at Fischlin's Transformation.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2014, 2014

2013

On the Connection between Leakage Tolerance and Adaptive Security.

[BibT_eX]

[DOI]

Angela Zottarel

Proceedings of the Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26, 2013

Rate-Limited Secure Function Evaluation: Definitions and Constructions.

[BibT_eX]

[DOI]

Payman Mohassel