11573/1729611 - 2025 -
Compact Proofs of Partial Knowledge for Overlapping CNF Formulae Avitabile, G.; Botta, V.; Friolo, D.; Venturi, D.; Visconti, I. - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. - - issn: 0933-2790 - wos: WOS:001364498300003 (0) - scopus: 2-s2.0-85210360563 (0)
11573/1729806 - 2024 -
Key Exchange in the Post-snowden Era: Universally Composable Subversion-Resilient PAKE Chakraborty, Suvradip; Magliocco, Lorenzo; Magri, Bernardo; Venturi, Daniele - 04b Atto di convegno in volume
conference: International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) (Kolkata; India)
book: Advances in Cryptology. ASIACRYPT 2024. 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9–13, 2024, Proceedings. Part V - (9789819609345; 9789819609352)
11573/1728570 - 2024 -
Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors Francati, Danilo; Friolo, Daniele; Malavolta, Giulio; Venturi, Daniele - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. - - issn: 0933-2790 - wos: WOS:001222586000001 (0) - scopus: 2-s2.0-85193316172 (0)
Francati, Danilo; Venturi, Daniele - 04b Atto di convegno in volume
conference: 22nd International Conference on Applied Cryptography and Network Security, ACNS 2024 (are)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783031547690; 9783031547706)
11573/1728575 - 2024 -
Improved Reductions from Noisy to Bounded and Probing Leakages via Hockey-Stick Divergences Obremski, Maciej; Ribeiro, João; Roy, Lawrence; Standaert, François-Xavier; Venturi, Daniele - 04b Atto di convegno in volume
conference: 44th Annual International Cryptology Conference, CRYPTO 2024 (usa)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783031683909; 9783031683916)
11573/1728574 - 2024 -
Watermarks in the Sand: Impossibility of Strong Watermarking for Language Models Zhang, H.; Edelman, B. L.; Francati, D.; Venturi, D.; Ateniese, G.; Barak, B. - 04b Atto di convegno in volume
conference: 41st International Conference on Machine Learning, ICML 2024 (aut)
book: Proceedings of Machine Learning Research - ()
11573/1695924 - 2023 -
Multi-key and Multi-input Predicate Encryption from Learning with Errors Francati, D.; Friolo, D.; Malavolta, G.; Venturi, D. - 04b Atto di convegno in volume
conference: EUROCRYPT (Lione)
book: Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III - (978-3-031-30619-8; 978-3-031-30620-4)
11573/1702050 - 2023 -
Registered (Inner-Product) Functional Encryption Francati, Danilo; Friolo, Daniele; Maitra, Monosij; Malavolta, Giulio; Rahimi, Ahmadreza; Venturi, Daniele - 04b Atto di convegno in volume
conference: 29th International Conference on the Theory and Application of Cryptology and Information Security (Guangzhou, China)
book: Advances in Cryptology - ()
11573/1702054 - 2023 -
On the Complete Non-malleability of the Fujisaki-Okamoto Transform Friolo, D.; Salvino, M.; Venturi, D. - 04b Atto di convegno in volume
conference: 21st International Conference on Applied Cryptography and Network Security, ACNS 2023 (Kyoto, Japan)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - ()
11573/1691957 - 2023 -
MARTSIA: Enabling Data Confidentiality for Blockchain-Based Process Execution Marangone, Edoardo; Di Ciccio, Claudio; Friolo, Daniele; Nemmi, Eugenio Nerio; Venturi, Daniele; Weber, Ingo - 04b Atto di convegno in volume
conference: Enterprise Design, Operations, and Computing - 27th International Conference, EDOC 2023 (Groningen, The Netherlands)
book: Enterprise Design, Operations, and Computing - 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings - (978-3-031-46586-4; 978-3-031-46587-1)
11573/1673701 - 2022 -
The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free Brian, G.; Faonio, A.; Obremski, M.; Ribeiro, J.; Simkin, M.; Skorski, M.; Venturi, D. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON INFORMATION THEORY (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 8197-8227 - issn: 0018-9448 - wos: WOS:000891796100029 (1) - scopus: 2-s2.0-85135765130 (1)
11573/1673698 - 2022 -
Short Non-Malleable Codes from Related-Key Secure Block Ciphers, Revisited Brian, G.; Faonio, A.; Ribeiro, J.; Venturi, D. - 01a Articolo in rivista
paper: IACR TRANSACTION ON SYMMETRIC CRYPTOLOGY (Bochum: International Association for Cryptologic Research) pp. 1-19 - issn: 2519-173X - wos: WOS:000869410400001 (1) - scopus: 2-s2.0-85137697222 (3)
11573/1673696 - 2022 -
Continuously Non-malleable Codes Against Bounded-Depth Tampering Brian, Gianluca; Faust, Sebastian; Micheli, Elena; Venturi, Daniele - 04b Atto di convegno in volume
conference: 28th Annual International Conference on the Theory and Application of Cryptology and Information Security (Taipei)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-22971-8; 978-3-031-22972-5)
11573/1673689 - 2022 -
Universally Composable Subversion-Resilient Cryptography Chakraborty, S.; Magri, B.; Nielsen, J. B.; Venturi, D. - 04b Atto di convegno in volume
conference: 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022 (nor)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-06943-7; 978-3-031-06944-4)
Friolo, D.; Massacci, F.; Ngo, C. N.; Venturi, D. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY (New York, N.Y.: IEEE, 2006-) pp. 3391-3406 - issn: 1556-6013 - wos: WOS:000864326600002 (3) - scopus: 2-s2.0-85137560209 (4)
11573/1673691 - 2022 -
From Privacy-Only to Simulatable OT: Black-Box, Round-Optimal, Information-Theoretic Madathil, V.; Orsini, C.; Scafuro, A.; Venturi, D. - 04b Atto di convegno in volume
conference: 3rd Conference on Information-Theoretic Cryptography, ITC 2022 (usa)
book: Leibniz International Proceedings in Informatics, LIPIcs - ()
Venturi, D.; Ateniese, G. - 02c Prefazione/Postfazione
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9781400861903)
Venturi, D.; Ateniese, G. - 02c Prefazione/Postfazione
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9781400861903)
11573/1523792 - 2021 -
Immunization against complete subversion without random oracles Ateniese, G.; Francati, D.; Magri, B.; Venturi, D. - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 1-36 - issn: 0304-3975 - wos: WOS:000618020300001 (1) - scopus: 2-s2.0-85099402522 (1)
11573/1575144 - 2021 -
Match Me if You Can: Matchmaking Encryption and Its Applications Ateniese, G.; Francati, D.; Nunez, D.; Venturi, D. - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. - - issn: 0933-2790 - wos: WOS:000642184900001 (24) - scopus: 2-s2.0-85104721667 (32)
11573/1595570 - 2021 -
Shielded Computations in Smart Contracts Overcoming Forks Botta, V.; Friolo, D.; Venturi, D.; Visconti, I. - 04b Atto di convegno in volume
conference: Financial Cryptography and Data Security Conference (Virtual Conference)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-662-64321-1; 978-3-662-64322-8)
11573/1575150 - 2021 -
The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free Brian, G.; Faonio, A.; Obremski, M.; Ribeiro, J.; Simkin, M.; Skorski, M.; Venturi, D. - 04b Atto di convegno in volume
conference: 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2021 (hrv)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-77885-9; 978-3-030-77886-6)
11573/1618013 - 2021 -
Continuously Non-malleable Secret Sharing: Joint Tampering, Plain Model and Capacity Brian, G.; Faonio, A.; Venturi, D. - 04b Atto di convegno in volume
conference: 19th International Conference on Theory of Cryptography, TCC 2021 (usa)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-90452-4; 978-3-030-90453-1)
11573/1575156 - 2021 -
A compiler for multi-key homomorphic signatures for Turing machines Dolatnezhad Samarin, S.; Fiore, D.; Venturi, D.; Amini, M. - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 145-170 - issn: 0304-3975 - wos: WOS:000704983700010 (3) - scopus: 2-s2.0-85112783206 (2)
11573/1673679 - 2021 -
Identity-Based Matchmaking Encryption Without Random Oracles Francati, D.; Guidi, A.; Russo, L.; Venturi, D. - 04b Atto di convegno in volume
conference: 22nd International Conference on Cryptology in India, INDOCRYPT 2021 (ind)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-92517-8; 978-3-030-92518-5)
11573/1409816 - 2020 -
Subversion-resilient signatures: Definitions, constructions and applications Ateniese, G.; Magri, B.; Venturi, D. - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 91-122 - issn: 0304-3975 - wos: WOS:000526405200007 (8) - scopus: 2-s2.0-85082826364 (10)
11573/1469643 - 2020 -
Non-malleable secret sharing against bounded joint-tampering attacks in the plain model Brian, G.; Faonio, A.; Obremski, M.; Simkin, M.; Venturi, D. - 04b Atto di convegno in volume
conference: 40th Annual International Cryptology Conference, CRYPTO 2020 (usa)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-56876-4; 978-3-030-56877-1)
11573/1469647 - 2020 -
On adaptive security of delayed-input sigma protocols and fiat-shamir nizks Ciampi, M.; Parisella, R.; Venturi, D. - 04b Atto di convegno in volume
conference: 12th International Conference on Security and Cryptography for Networks, SCN 2020 (ita)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-57989-0; 978-3-030-57990-6)
11573/1469629 - 2020 -
Non-malleable Encryption: Simpler, Shorter, Stronger Coretti, S.; Dodis, Y.; Maurer, U.; Tackmann, B.; Venturi, D. - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 1984-2033 - issn: 0933-2790 - wos: WOS:000555364300001 (1) - scopus: 2-s2.0-85088875892 (1)
11573/1469627 - 2020 -
Continuously Non-malleable Codes in the Split-State Model Faust, S.; Mukherjee, P.; Nielsen, J. B.; Venturi, D. - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 2034-2077 - issn: 0933-2790 - wos: WOS:000552149900001 (2) - scopus: 2-s2.0-85089013348 (2)
11573/1469640 - 2020 -
Cryptographic reverse firewalls for interactive proof systems Ganesh, C.; Magri, B.; Venturi, D. - 04b Atto di convegno in volume
conference: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (Saarbrücken)
book: Leibniz International Proceedings in Informatics, LIPIcs - ()
11573/1469632 - 2020 -
Cryptographic reverse firewalls for interactive proof systems Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. - - issn: 0304-3975 - wos: WOS:000608352600008 (3) - scopus: 2-s2.0-85089343425 (6)
11573/1512247 - 2020 -
Vision: What If They All Die? Crypto Requirements For Key People Nam Ngo, Chan; Friolo, Daniele; Massacci, Fabio; Venturi, Daniele; Battaiola, Ettore - 04b Atto di convegno in volume
conference: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (Genova; Italia)
book: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - (978-1-7281-8598-9)
Akil, M.; Mancini, L. V.; Venturi, D. - 04b Atto di convegno in volume
conference: 6th International Conference on Software Defined Systems, SDS 2019 (Rome; Italy)
book: 2019 6th International Conference on Software Defined Systems, SDS 2019 - (978-1-7281-0722-6)
11573/1356468 - 2019 -
Public immunization against complete subversion without random oracles Ateniese, G.; Francati, D.; Magri, B.; Venturi, D. - 04b Atto di convegno in volume
conference: 17th International Conference on Applied Cryptography and Network Security, ACNS 2019 (Bogota; Colombia)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-21567-5; 978-3-030-21568-2)
11573/1356478 - 2019 -
Match me if you can: matchmaking encryption and its applications Ateniese, G.; Francati, D.; Nunez, D.; Venturi, D. - 04b Atto di convegno in volume
conference: 39th Annual International Cryptology Conference, CRYPTO 2019 (Santa Barbara; United States)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-26950-0; 978-3-030-26951-7)
11573/1356500 - 2019 -
Continuously Non-malleable Secret Sharing for General Access Structures Brian, G.; Faonio, A.; Venturi, D. - 04b Atto di convegno in volume
conference: 17th International Conference on Theory of Cryptography, TCC 2019 (Nuremberg; Germany)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-36032-0; 978-3-030-36033-7)
11573/1356482 - 2019 -
Rate-optimizing compilers for continuously non-malleable codes Coretti, S.; Faonio, A.; Venturi, D. - 04b Atto di convegno in volume
conference: 17th International Conference on Applied Cryptography and Network Security, ACNS 2019 (Bogotà; Colombia)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-21567-5; 978-3-030-21568-2)
11573/1356504 - 2019 -
Continuously non-malleable codes with split-state refresh Faonio, A.; Buus Nielsen, J.; Simkin, M.; Venturi, D. - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 98-132 - issn: 0304-3975 - wos: WOS:000457513500006 (3) - scopus: 2-s2.0-85059680752 (3)
11573/1356502 - 2019 -
Non-malleable Secret Sharing in the Computational Setting: Adaptive Tampering, Noisy-Leakage Resilience, and Improved Rate Faonio, A.; Venturi, D. - 04b Atto di convegno in volume
conference: 39th Annual International Cryptology Conference, CRYPTO 2019 (Santa Barbara; United States)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-26950-0; 978-3-030-26951-7)
11573/1348933 - 2019 -
A Black-Box Construction of Fully-Simulatable, Round-Optimal Oblivious Transfer from Strongly Uniform Key Agreement Friolo, D.; Masny, D.; Venturi, D. - 04b Atto di convegno in volume
conference: 17th International Conference on Theory of Cryptography, TCC 2019 (Nuremberg; Germany)
book: Theory of Cryptography - (978-3-030-36029-0; 978-3-030-36030-6)
11573/1512239 - 2019 -
Affordable Security or Big Guy vs Small Guy Friolo, Daniele; Massacci, Fabio; Nam Ngo, Chan; Venturi, Daniele - 04b Atto di convegno in volume
conference: Security Protocols Workshop (Cambridge; UK)
book: Security Protocols XXVII - (978-3-030-57042-2)
11573/1131894 - 2018 -
Continuously non-malleable codes with split-state refresh Faonio, Antonio; Nielsen, Jesper Buus; Simkin, Mark; Venturi, Daniele - 04b Atto di convegno in volume
conference: 16th International Conference on Applied Cryptography and Network Security, ACNS 2018 (Leuven, Belgium)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319933863)
11573/1414142 - 2018 -
Non-monotonic Security Protocols and Failures in Financial Intermediation Massacci, F.; Ngo, C. N.; Venturi, D.; Williams, J. - 04b Atto di convegno in volume
conference: 26th International Workshop on Security Protocols, 2018 (gbr)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-030-03250-0; 978-3-030-03251-7)
11573/1086377 - 2018 -
FuturesMEX: Secure, Distributed Futures Market Exchange Massacci, Fabio; Nam Ngo, Chan; Nie, Jing; Venturi, Daniele; Williams, Julian - 04b Atto di convegno in volume
conference: IEEE Symposium on Security and Privacy (San Francisco)
book: Proceedings of the 2018 IEEE Symposium on Security and Privacy - (978-1-5386-4353-2)
11573/1131890 - 2018 -
Fiat–Shamir for highly sound protocols is instantiable Mittelbach, Arno; Venturi, Daniele - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 28-62 - issn: 0304-3975 - wos: WOS:000437074900002 (1) - scopus: 2-s2.0-85047071186 (1)
11573/1196790 - 2018 -
Continuously non-malleable codes in the split-state model from minimal assumptions Ostrovsky, Rafail; Persiano, Giuseppe; Venturi, Daniele; Visconti, Ivan - 04b Atto di convegno in volume
conference: 38th Annual International Cryptology Conference, CRYPTO 2018 (Santa Barbara; United States)
book: Advances in Cryptology – CRYPTO 2018 - (978-3-319-96877-3; 978-3-319-96878-0)
11573/1070758 - 2017 -
Redactable Blockchain - Or - Rewriting History in Bitcoin and Friends Ateniese, Giuseppe; Magri, Bernardo; Venturi, Daniele; Andrade, Ewerton R. - 04b Atto di convegno in volume
conference: 2nd IEEE European Symposium on Security and Privacy, EuroS and P 2017 (Paris)
book: Proceedings - 2nd IEEE European Symposium on Security and Privacy, EuroS and P 2017 - (9781509057610)
11573/1067636 - 2017 -
Naor-Yung paradigm with shared randomness and applications Biagioni, Silvio; Masny, Daniel; Venturi, Daniele - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 90-113 - issn: 0304-3975 - wos: WOS:000411551000005 (1) - scopus: 2-s2.0-85023744245 (2)
11573/1070760 - 2017 -
Securing underwater communications: key agreement based on Fully Hashed MQV Capossele, Angelo; Petrioli, Chiara; Saturni, Gabriele; Spaccini, Daniele; Venturi, Daniele - 04b Atto di convegno in volume
conference: International Conference on Underwater Networks and Systems, WUWNET 2017 (Halifax; Canada)
book: Proceedings of the International Conference on Underwater Networks and Systems, WUWNET 2017 - (9781450355612)
11573/928621 - 2017 -
Bounded tamper resilience: how to go beyond the algebraic barrier Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 152-190 - issn: 0933-2790 - wos: WOS:000392129000004 (5) - scopus: 2-s2.0-84944631143 (6)
11573/958489 - 2017 -
Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model Faonio, Antonio; Buus Nielsen, Jesper; Venturi, Daniele - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 23-56 - issn: 0304-3975 - wos: WOS:000392786200003 (5) - scopus: 2-s2.0-85006262249 (7)
Faonio, Antonio; Nielsen, Jesper Buus; Venturi, Daniele - 04b Atto di convegno in volume
conference: 20th IACR International Conference on Practice and Theory of Public-Key Cryptography, PKC 2017 (Amsterdam)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662543641)
Faust, Sebastian; Hazay, Carmit; Venturi, Daniele - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF INFORMATION SECURITY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 327-346 - issn: 1615-5262 - wos: WOS:000429662500006 (5) - scopus: 2-s2.0-85018411850 (6)
11573/1070765 - 2017 -
Non-malleable codes for space-bounded tampering Faust, Sebastian; Hostáková, Kristina; Mukherjee, Pratyay; Venturi, Daniele - 04b Atto di convegno in volume
conference: 37th Annual International Cryptology Conference, CRYPTO 2017 (Santa Barbara)
book: ADVANCES IN CRYPTOLOGY - CRYPTO 2017 : 37th annual international cryptology. - (9783319637143)
11573/1070759 - 2017 -
The seconomics (security-economics) vulnerabilities of Decentralized Autonomous Organizations Massacci, Fabio; Ngo, Chan Nam; Nie, Jing; Venturi, Daniele; Williams, Julian - 04b Atto di convegno in volume
conference: 25th International Workshop on Security Protocols, 2017 (Cambridge; United Kingdom)
book: Security Protocols XXV - (9783319710747)
Ateniese, Giuseppe; Dagdelen, Özgür; Damgård, Ivan; Venturi, Daniele - 01a Articolo in rivista
paper: FUTURE GENERATION COMPUTER SYSTEMS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 104-118 - issn: 0167-739X - wos: WOS:000377315900011 (10) - scopus: 2-s2.0-84957684104 (14)
11573/960008 - 2016 -
Naor-Yung paradigm with shared randomness and applications Biagioni, Silvio; Masny, Daniel; Venturi, Daniele - 04b Atto di convegno in volume
conference: 10th International Conference on Security and Cryptography for Networks, SCN 2016 (Amalfi)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319446172)
11573/960014 - 2016 -
Non-malleable encryption: simpler, shorter, stronger Coretti, Sandro; Dodis, Yevgeniy; Tackmann, Bjorn; Venturi, Daniele - 04b Atto di convegno in volume
conference: 13th International Conference on Theory of Cryptography, TCC 2016 (Tel Aviv)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662490952)
11573/958651 - 2016 -
Rate-limited secure function evaluation Dagdelen, Özgür; Mohassel, Payman; Venturi, Daniele - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 53-78 - issn: 0304-3975 - wos: WOS:000387627500005 (0) - scopus: 2-s2.0-84991203474 (0)
11573/958570 - 2016 -
Efficient public-key cryptography with bounded leakage and tamper resilience Faonio, Antonio; Venturi, Daniele - 04b Atto di convegno in volume
conference: 22nd International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2016 (Hanoi)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662538869)
11573/959998 - 2016 -
Chosen-ciphertext security from subset sum Faust, Sebastian; Masny, Daniel; Venturi, Daniele - 04b Atto di convegno in volume
conference: 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2016 (Taipei, Taiwan, March 6-9, 2016, ...)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662493830)
11573/958514 - 2016 -
Efficient non-malleable codes and key derivation for poly-size tampering circuits Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele; Wichs, Daniel - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON INFORMATION THEORY (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 7179-7194 - issn: 0018-9448 - wos: WOS:000391739500031 (10) - scopus: 2-s2.0-85000399589 (10)
11573/958511 - 2016 -
Efficient authentication from hard learning problems Kiltz, Eike; Pietrzak, Krzysztof; Venturi, Daniele; Cash, David; Jain, Abhishek - 01a Articolo in rivista
paper: JOURNAL OF CRYPTOLOGY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 1238-1275 - issn: 0933-2790 - wos: WOS:000410788600007 (7) - scopus: 2-s2.0-85004073302 (11)
11573/959982 - 2016 -
Fiat-Shamir for highly sound protocols is instantiable Mittelbach, Arno; Venturi, Daniele - 04b Atto di convegno in volume
conference: 10th International Conference on Security and Cryptography for Networks, SCN 2016 (Amalfi)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319446172)
11573/960033 - 2015 -
Entangled encodings and data entanglement Ateniese, Giuseppe; Dagdelen, Özgür; Damgård, Ivan; Venturi, Daniele - 04b Atto di convegno in volume
conference: 3rd ACM International Workshop on Security in Cloud Computing, SCC 2015 (Singapore)
book: SCC 2015 - Proceedings of the 3rd ACM International Workshop on Security in Cloud Computing, part of ASIACCS 2015 - (9781450334471)
11573/960027 - 2015 -
Subversion-resilient signature schemes Ateniese, Giuseppe; Magri, Bernardo; Venturi, Daniele - 04b Atto di convegno in volume
conference: 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2015 (Denver, Colorado, USA)
book: Proceedings of the ACM Conference on Computer and Communications Security - (9781450338325)
11573/960037 - 2015 -
From Single-Bit to Multi-bit Public-Key Encryption via Non-malleable Codes Coretti, Sandro; Maurer, Ueli; Tackmann, Bjorn; Venturi, Daniele - 04b Atto di convegno in volume
conference: 12th Theory of Cryptography Conference, TCC 2015 (Warsaw)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662464939)
11573/960036 - 2015 -
A multi-party protocol for privacy-preserving cooperative linear systems of equations Dagdelen, Özgür; Venturi, Daniele - 04b Atto di convegno in volume
conference: 1st International Conference on Cryptography and Information Security in the Balkans, BalkanCryptSec 2014 (tur)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319213552)
11573/960041 - 2015 -
The chaining lemma and its application Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele - 04b Atto di convegno in volume
conference: 8th International Conference on Information Theoretic Security, ICITS 2015 (Lugano)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319174693)
11573/960040 - 2015 -
Mind your coins: fully leakage-resilient signatures with graceful degradation Faonio, Antonio; Nielsen, Jesper Buus; Venturi, Daniele - 04b Atto di convegno in volume
conference: 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015 (Kyoto)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662476710)
11573/960042 - 2015 -
A Tamper and Leakage Resilient von Neumann Architecture Faust, Sebastian; Mukherjee, Pratyay; Nielsen, Jesper Buus; Venturi, Daniele - 04b Atto di convegno in volume
conference: 18th IACR International Conference on Practice and Theory of Public-Key Cryptography, PKC 2015 (Gaithersburg)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783662464465)
Kohlweiss, Markulf; Maurer, Ueli; Onete, Cristina; Tackmann, Bjorn; Venturi, Daniele - 04b Atto di convegno in volume
conference: 16th International Conference on Cryptology in India, INDOCRYPT 2015 (Bangalore)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319266169)
11573/960043 - 2015 -
Secure data sharing and processing in heterogeneous clouds Suzic, Bojan; Reiter, Andreas; Reimair, Florian; Venturi, Daniele; Kubo, Baldur - 04b Atto di convegno in volume
conference: 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015 (Pisa; Italy)
book: Procedia Computer Science - ()
11573/960049 - 2014 -
A second look at Fischlin's transformation Dagdelen, Özgür; Venturi, Daniele - 04b Atto di convegno in volume
conference: 7th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2014 (Marrakesh, mar)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783319067339)
Faust, Sebastian; Mukherjee, Pratyay; Nielsen, Jesper Buus; Venturi, Daniele - 04b Atto di convegno in volume
conference: 11th Theory of Cryptography Conference on Theory of Cryptography, TCC 2014 (San Diego, CA, usa)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642542411)
11573/960053 - 2014 -
Efficient non-malleable codes and key-derivation for poly-size tampering circuits Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele; Wichs, Daniel - 04b Atto di convegno in volume
conference: 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2014 (Copenhagen, dnk)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642552199)
11573/960051 - 2014 -
Leakage-resilient signatures with graceful degradation Nielsen, Jesper Buus; Venturi, Daniele; Zottarel, Angela - 04b Atto di convegno in volume
conference: 17th IACR International Conference on Practice and Theory in Public-Key Cryptography, PKC 2014 (Buenos Aires, arg)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642546303)
11573/960061 - 2013 -
Rate-limited secure function evaluation: Definitions and constructions Dagdelen, Özgür; Mohassel, Payman; Venturi, Daniele - 04b Atto di convegno in volume
conference: 16th International Conference on Practice and Theory in Public-Key Cryptography, PKC 2013 (Nara, jpn)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642363610)
11573/960055 - 2013 -
Bounded tamper resilience: How to go beyond the algebraic barrier Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele - 04b Atto di convegno in volume
conference: 19th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2013 (Bengaluru, ind)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642420443)
Faust, Sebastian; Hazay, Carmit; Venturi, Daniele - 04b Atto di convegno in volume
conference: 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 (Riga, lva)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642392115)
11573/960056 - 2013 -
Anonymity-preserving public-key encryption: A constructive approach Kohlweiss, Markulf; Maurer, Ueli; Onete, Cristina; Tackmann, Bjorn; Venturi, Daniele - 04b Atto di convegno in volume
conference: 13th International Symposium on Privacy Enhancing Technologies, PETS 2013 (Bloomington, IN, usa)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642390760)
11573/960062 - 2013 -
On the connection between leakage tolerance and adaptive security Nielsen, Jesper Buus; Venturi, Daniele; Zottarel, Angela - 04b Atto di convegno in volume
conference: 16th International Conference on Practice and Theory in Public-Key Cryptography, PKC 2013 (Nara, jpn)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642363610)
Venturi, Daniele - 03a Saggio, Trattato Scientifico
11573/960089 - 2012 -
On the non-malleability of the fiat-shamir transform Faust, Sebastian; Kohlweiss, Markulf; Marson, Giorgia Azzurra; Venturi, Daniele - 04b Atto di convegno in volume
conference: 13th International Conference on Cryptology in India, INDOCRYPT 2012 (Kolkata, ind)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642349300)
11573/928650 - 2012 -
Crittografia nel Paese delle Meraviglie Venturi, Daniele - 03a Saggio, Trattato Scientifico
11573/960090 - 2011 -
Tamper-proof circuits: How to trade leakage for tamper-resilience Faust, Sebastian; Pietrzak, Krzysztof; Venturi, Daniele - 04b Atto di convegno in volume
conference: 38th International Colloquium on Automata, Languages and Programming, ICALP 2011 (Zurich, che)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642220050)
11573/960094 - 2011 -
Efficient authentication from hard learning problems Kiltz, Eike; Pietrzak, Krzysztof; Cash, David; Jain, Abhishek; Venturi, Daniele - 04b Atto di convegno in volume
conference: 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques Advances in Cryptology, EUROCRYPT 2011 (Tallinn, est)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783642204647)
Davi', Francesco; Dziembowski, Stefan; Venturi, Daniele - 04b Atto di convegno in volume
conference: 7th International Conference on Security and Cryptography for Networks, SCN 2010 (Amalfi, ita)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (364215316X)
11573/353423 - 2009 -
Lecture Notes on Algorithmic Number Theory Venturi, Daniele - 03a Saggio, Trattato Scientifico