Rodgers, Abram; Venturi, Daniele Tensor approximation of functional differential equations. arXiv:2403.04946 Preprint, arXiv:2403.04946 [math.NA] (2024). BibTeX Cite \textit{A. Rodgers} and \textit{D. Venturi}, ``Tensor approximation of functional differential equations'', Preprint, arXiv:2403.04946 [math.NA] (2024) Full Text: arXiv OA License
Francati, Danilo; Friolo, Daniele; Malavolta, Giulio; Venturi, Daniele Multi-key and multi-input predicate encryption from learning with errors. (English) Zbl 1528.94049 Hazay, Carmit (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 14006, 573-604 (2023). MSC: 94A60 68T05 PDFBibTeX XMLCite \textit{D. Francati} et al., Lect. Notes Comput. Sci. 14006, 573--604 (2023; Zbl 1528.94049) Full Text: DOI
Dektor, Alec; Venturi, Daniele Tensor rank reduction via coordinate flows. (English) Zbl 07771294 J. Comput. Phys. 491, Article ID 112378, 33 p. (2023). MSC: 15Axx 65Mxx 65Fxx PDFBibTeX XMLCite \textit{A. Dektor} and \textit{D. Venturi}, J. Comput. Phys. 491, Article ID 112378, 33 p. (2023; Zbl 07771294) Full Text: DOI arXiv
Rodgers, Abram; Venturi, Daniele Implicit integration of nonlinear evolution equations on tensor manifolds. (English) Zbl 07751614 J. Sci. Comput. 97, No. 2, Paper No. 33, 27 p. (2023). MSC: 65Mxx 65Fxx 41Axx PDFBibTeX XMLCite \textit{A. Rodgers} and \textit{D. Venturi}, J. Sci. Comput. 97, No. 2, Paper No. 33, 27 p. (2023; Zbl 07751614) Full Text: DOI arXiv OA License
Brian, Gianluca; Faust, Sebastian; Micheli, Elena; Venturi, Daniele Continuously non-malleable codes against bounded-depth tampering. (English) Zbl 07730501 Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 13794, 384-413 (2023). MSC: 94A60 94B35 PDFBibTeX XMLCite \textit{G. Brian} et al., Lect. Notes Comput. Sci. 13794, 384--413 (2023; Zbl 07730501) Full Text: DOI
Venturi, Daniele; Li, Xiantao The Mori-Zwanzig formulation of deep learning. (English) Zbl 07696874 Res. Math. Sci. 10, No. 2, Paper No. 23, 47 p. (2023). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{D. Venturi} and \textit{X. Li}, Res. Math. Sci. 10, No. 2, Paper No. 23, 47 p. (2023; Zbl 07696874) Full Text: DOI arXiv
Dektor, Alec; Venturi, Daniele Coordinate-adaptive integration of PDEs on tensor manifolds. arXiv:2308.02659 Preprint, arXiv:2308.02659 [math.NA] (2023). BibTeX Cite \textit{A. Dektor} and \textit{D. Venturi}, ``Coordinate-adaptive integration of PDEs on tensor manifolds'', Preprint, arXiv:2308.02659 [math.NA] (2023) Full Text: arXiv OA License
Brian, Gianluca; Faonio, Antonio; Obremski, Maciej; Ribeiro, João; Simkin, Mark; Skórski, Maciej; Venturi, Daniele The mother of all leakages: how to simulate noisy leakages via bounded leakage (almost) for free. (English) Zbl 07818321 IEEE Trans. Inf. Theory 68, No. 12, 8197-8227 (2022). MSC: 94-XX PDFBibTeX XMLCite \textit{G. Brian} et al., IEEE Trans. Inf. Theory 68, No. 12, 8197--8227 (2022; Zbl 07818321) Full Text: DOI
Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio Logics of ignorance and being wrong. (English) Zbl 1499.03014 Log. J. IGPL 30, No. 5, 870-885 (2022). MSC: 03B42 PDFBibTeX XMLCite \textit{D. Gilbert} et al., Log. J. IGPL 30, No. 5, 870--885 (2022; Zbl 1499.03014) Full Text: DOI
Chakraborty, Suvradip; Magri, Bernardo; Nielsen, Jesper Buus; Venturi, Daniele Universally composable subversion-resilient cryptography. (English) Zbl 1496.94032 Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 272-302 (2022). MSC: 94A60 68P25 68N20 PDFBibTeX XMLCite \textit{S. Chakraborty} et al., Lect. Notes Comput. Sci. 13275, 272--302 (2022; Zbl 1496.94032) Full Text: DOI
Rodgers, Abram; Dektor, Alec; Venturi, Daniele Adaptive integration of nonlinear evolution equations on tensor manifolds. (English) Zbl 1502.65174 J. Sci. Comput. 92, No. 2, Paper No. 39, 31 p. (2022). Reviewer: Bülent Karasözen (Ankara) MSC: 65M99 65L05 65L20 65M06 65Y05 35Q84 35R01 PDFBibTeX XMLCite \textit{A. Rodgers} et al., J. Sci. Comput. 92, No. 2, Paper No. 39, 31 p. (2022; Zbl 1502.65174) Full Text: DOI arXiv
Ateniese, Giuseppe (ed.); Venturi, Daniele (ed.) Applied cryptography and network security. 20th international conference, ACNS 2022, Rome, Italy, June 20–23, 2022. Proceedings. (English) Zbl 1498.94002 Lecture Notes in Computer Science 13269. Cham: Springer (ISBN 978-3-031-09233-6/pbk; 978-3-031-09234-3/ebook). xv, 914 p. (2022). MSC: 94-06 68-06 68M25 94A60 00B25 PDFBibTeX XMLCite \textit{G. Ateniese} (ed.) and \textit{D. Venturi} (ed.), Applied cryptography and network security. 20th international conference, ACNS 2022, Rome, Italy, June 20--23, 2022. Proceedings. Cham: Springer (2022; Zbl 1498.94002) Full Text: DOI
Velasco, Lívio José; Venturi, Diego Nei; Fontes, Douglas Hector; de Souza, Francisco José Numerical simulation of drag reduction by microbubbles in a vertical channel. (English) Zbl 07463939 Eur. J. Mech., B, Fluids 92, 215-225 (2022). MSC: 76-XX PDFBibTeX XMLCite \textit{L. J. Velasco} et al., Eur. J. Mech., B, Fluids 92, 215--225 (2022; Zbl 07463939) Full Text: DOI
Francati, Danilo; Guidi, Alessio; Russo, Luigi; Venturi, Daniele Identity-based matchmaking encryption without random oracles. (English) Zbl 1514.94083 Adhikari, Avishek (ed.) et al., Progress in cryptology – INDOCRYPT 2021. 22nd International conference on cryptology in India, Jaipur, India, December 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13143, 415-435 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Francati} et al., Lect. Notes Comput. Sci. 13143, 415--435 (2021; Zbl 1514.94083) Full Text: DOI
Brian, Gianluca; Faonio, Antonio; Venturi, Daniele Continuously non-malleable secret sharing: joint tampering, plain model and capacity. (English) Zbl 1511.94172 Nissim, Kobbi (ed.) et al., Theory of cryptography. 19th international conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13043, 333-364 (2021). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{G. Brian} et al., Lect. Notes Comput. Sci. 13043, 333--364 (2021; Zbl 1511.94172) Full Text: DOI
Botta, Vincenzo; Friolo, Daniele; Venturi, Daniele; Visconti, Ivan Shielded computations in smart contracts overcoming forks. (English) Zbl 1491.91164 Borisov, Nikita (ed.) et al., Financial cryptography and data security. 25th international conference, FC 2021, virtual event, March 1–5, 2021. Revised selected papers. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 12674, 73-92 (2021). MSC: 91G99 94A60 PDFBibTeX XMLCite \textit{V. Botta} et al., Lect. Notes Comput. Sci. 12674, 73--92 (2021; Zbl 1491.91164) Full Text: DOI
Dektor, Alec; Venturi, Daniele Dynamic tensor approximation of high-dimensional nonlinear PDEs. (English) Zbl 07505902 J. Comput. Phys. 437, Article ID 110295, 19 p. (2021). MSC: 65Mxx 41Axx 15Axx PDFBibTeX XMLCite \textit{A. Dektor} and \textit{D. Venturi}, J. Comput. Phys. 437, Article ID 110295, 19 p. (2021; Zbl 07505902) Full Text: DOI arXiv
Brian, Gianluca; Faonio, Antonio; Obremski, Maciej; Ribeiro, João; Simkin, Mark; Skórski, Maciej; Venturi, Daniele The mother of all leakages: how to simulate noisy leakages via bounded leakage (almost) for free. (English) Zbl 1479.94298 Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12697, 408-437 (2021). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{G. Brian} et al., Lect. Notes Comput. Sci. 12697, 408--437 (2021; Zbl 1479.94298) Full Text: DOI
Zhu, Yuanran; Venturi, Daniele Hypoellipticity and the Mori-Zwanzig formulation of stochastic differential equations. (English) Zbl 1489.60107 J. Math. Phys. 62, No. 10, Article ID 103505, 20 p. (2021). MSC: 60H10 47D07 47F10 PDFBibTeX XMLCite \textit{Y. Zhu} and \textit{D. Venturi}, J. Math. Phys. 62, No. 10, Article ID 103505, 20 p. (2021; Zbl 1489.60107) Full Text: DOI arXiv
Dolatnezhad Samarin, Somayeh; Fiore, Dario; Venturi, Daniele; Amini, Morteza A compiler for multi-key homomorphic signatures for Turing machines. (English) Zbl 1514.68074 Theor. Comput. Sci. 889, 145-170 (2021). MSC: 68Q04 68N20 94A62 PDFBibTeX XMLCite \textit{S. Dolatnezhad Samarin} et al., Theor. Comput. Sci. 889, 145--170 (2021; Zbl 1514.68074) Full Text: DOI
Gilbert, David R.; Venturi, Giorgio Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness. (English) Zbl 1487.03036 Notre Dame J. Formal Logic 62, No. 2, 269-283 (2021). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 03E57 PDFBibTeX XMLCite \textit{D. R. Gilbert} and \textit{G. Venturi}, Notre Dame J. Formal Logic 62, No. 2, 269--283 (2021; Zbl 1487.03036) Full Text: DOI
Dektor, Alec; Rodgers, Abram; Venturi, Daniele Rank-adaptive tensor methods for high-dimensional nonlinear PDEs. (English) Zbl 1501.65032 J. Sci. Comput. 88, No. 2, Paper No. 36, 27 p. (2021). MSC: 65M06 65F55 65J15 15A69 47J05 35R01 PDFBibTeX XMLCite \textit{A. Dektor} et al., J. Sci. Comput. 88, No. 2, Paper No. 36, 27 p. (2021; Zbl 1501.65032) Full Text: DOI arXiv
Ateniese, Giuseppe; Francati, Danilo; Nuñez, David; Venturi, Daniele Match me if you can: matchmaking encryption and its applications. (English) Zbl 1467.94027 J. Cryptology 34, No. 3, Paper No. 16, 50 p. (2021). Reviewer: Manish Kumar (Hyderabad) MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{G. Ateniese} et al., J. Cryptology 34, No. 3, Paper No. 16, 50 p. (2021; Zbl 1467.94027) Full Text: DOI
Venturi, Daniele; Dektor, Alec Spectral methods for nonlinear functionals and functional differential equations. (English) Zbl 1477.46079 Res. Math. Sci. 8, No. 2, Paper No. 27, 39 p. (2021). MSC: 46T20 46N40 35R15 47J05 46G05 65J15 PDFBibTeX XMLCite \textit{D. Venturi} and \textit{A. Dektor}, Res. Math. Sci. 8, No. 2, Paper No. 27, 39 p. (2021; Zbl 1477.46079) Full Text: DOI arXiv
Ateniese, Giuseppe; Francati, Danilo; Magri, Bernardo; Venturi, Daniele Immunization against complete subversion without random oracles. (English) Zbl 1502.94028 Theor. Comput. Sci. 859, 1-36 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{G. Ateniese} et al., Theor. Comput. Sci. 859, 1--36 (2021; Zbl 1502.94028) Full Text: DOI Link
Ganesh, Chaya; Magri, Bernardo; Venturi, Daniele Cryptographic reverse firewalls for interactive proof systems. (English) Zbl 1502.68053 Theor. Comput. Sci. 855, 104-132 (2021). MSC: 68M25 94A60 PDFBibTeX XMLCite \textit{C. Ganesh} et al., Theor. Comput. Sci. 855, 104--132 (2021; Zbl 1502.68053) Full Text: DOI
Liuzzi, Danilo; Venturi, Beatrice Pollution-induced poverty traps via Hopf bifurcation in a minimal integrated economic-environment model. (English) Zbl 1452.91233 Commun. Nonlinear Sci. Numer. Simul. 93, Article ID 105523, 15 p. (2021). MSC: 91B76 91B62 PDFBibTeX XMLCite \textit{D. Liuzzi} and \textit{B. Venturi}, Commun. Nonlinear Sci. Numer. Simul. 93, Article ID 105523, 15 p. (2021; Zbl 1452.91233) Full Text: DOI Link
Ciampi, Michele; Parisella, Roberto; Venturi, Daniele On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs. (English) Zbl 1506.94034 Galdi, Clemente (ed.) et al., Security and cryptography for networks. 12th international conference, SCN 2020, Amalfi, Italy, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12238, 670-690 (2020). MSC: 94A60 68N20 PDFBibTeX XMLCite \textit{M. Ciampi} et al., Lect. Notes Comput. Sci. 12238, 670--690 (2020; Zbl 1506.94034) Full Text: DOI
Brian, Gianluca; Faonio, Antonio; Obremski, Maciej; Simkin, Mark; Venturi, Daniele Non-malleable secret sharing against bounded joint-tampering attacks in the plain model. (English) Zbl 1504.94205 Micciancio, Daniele (ed.) et al., Advances in cryptology – CRYPTO 2020. 40th annual international cryptology conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12172, 127-155 (2020). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{G. Brian} et al., Lect. Notes Comput. Sci. 12172, 127--155 (2020; Zbl 1504.94205) Full Text: DOI
Boelens, Arnout M. P.; Venturi, Daniele; Tartakovsky, Daniel M. Tensor methods for the Boltzmann-BGK equation. (English) Zbl 07508367 J. Comput. Phys. 421, Article ID 109744, 15 p. (2020). MSC: 65-XX 82-XX PDFBibTeX XMLCite \textit{A. M. P. Boelens} et al., J. Comput. Phys. 421, Article ID 109744, 15 p. (2020; Zbl 07508367) Full Text: DOI arXiv
Lambrianides, Panos; Gong, Qi; Venturi, Daniele A new scalable algorithm for computational optimal control under uncertainty. (English) Zbl 07506628 J. Comput. Phys. 420, Article ID 109710, 19 p. (2020). MSC: 93-XX 65-XX PDFBibTeX XMLCite \textit{P. Lambrianides} et al., J. Comput. Phys. 420, Article ID 109710, 19 p. (2020; Zbl 07506628) Full Text: DOI arXiv
Bella, Giovanni; Liuzzi, Danilo; Mattana, Paolo; Venturi, Beatrice Equilibrium selection in an environmental growth model with a \(S\)-shaped production function. (English) Zbl 1489.91156 Chaos Solitons Fractals 130, Article ID 109432, 9 p. (2020). MSC: 91B62 91B76 PDFBibTeX XMLCite \textit{G. Bella} et al., Chaos Solitons Fractals 130, Article ID 109432, 9 p. (2020; Zbl 1489.91156) Full Text: DOI
Dektor, Alec; Venturi, Daniele Dynamically orthogonal tensor methods for high-dimensional nonlinear PDEs. (English) Zbl 1453.65280 J. Comput. Phys. 404, Article ID 109125, 31 p. (2020). MSC: 65M15 35L50 35K20 PDFBibTeX XMLCite \textit{A. Dektor} and \textit{D. Venturi}, J. Comput. Phys. 404, Article ID 109125, 31 p. (2020; Zbl 1453.65280) Full Text: DOI arXiv
Gilbert, David R.; Venturi, Giorgio A note on logics of essence and accident. (English) Zbl 1477.03051 Log. J. IGPL 28, No. 5, 881-891 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{D. R. Gilbert} and \textit{G. Venturi}, Log. J. IGPL 28, No. 5, 881--891 (2020; Zbl 1477.03051) Full Text: DOI
Faust, Sebastian; Mukherjee, Pratyay; Nielsen, Jesper Buus; Venturi, Daniele Continuously non-malleable codes in the split-state model. (English) Zbl 1453.94077 J. Cryptology 33, No. 4, 2034-2077 (2020). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Faust} et al., J. Cryptology 33, No. 4, 2034--2077 (2020; Zbl 1453.94077) Full Text: DOI
Coretti, Sandro; Dodis, Yevgeniy; Maurer, Ueli; Tackmann, Björn; Venturi, Daniele Non-malleable encryption: simpler, shorter, stronger. (English) Zbl 1453.94071 J. Cryptology 33, No. 4, 1984-2033 (2020). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Coretti} et al., J. Cryptology 33, No. 4, 1984--2033 (2020; Zbl 1453.94071) Full Text: DOI
Venturi, Beatrice; Casula, Giovanni; Desogus, Marco; Pili, Ambrogio Mathematical tools in economic and financial models. (English) Zbl 1448.91001 Tempus Pecunia Est 10. Rome: Aracne Editrice (ISBN 978-88-255-2812-1). 84 p. (2020). MSC: 91-01 34-01 60-01 PDFBibTeX XMLCite \textit{B. Venturi} et al., Mathematical tools in economic and financial models. Rome: Aracne Editrice (2020; Zbl 1448.91001)
Rodgers, Abram; Venturi, Daniele Stability analysis of hierarchical tensor methods for time-dependent PDEs. (English) Zbl 1435.65149 J. Comput. Phys. 409, Article ID 109341, 15 p. (2020). MSC: 65M20 65M22 35Q84 35G40 PDFBibTeX XMLCite \textit{A. Rodgers} and \textit{D. Venturi}, J. Comput. Phys. 409, Article ID 109341, 15 p. (2020; Zbl 1435.65149) Full Text: DOI arXiv
Ateniese, Giuseppe; Magri, Bernardo; Venturi, Daniele Subversion-resilient signatures: definitions, constructions and applications. (English) Zbl 1455.94114 Theor. Comput. Sci. 820, 91-122 (2020). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{G. Ateniese} et al., Theor. Comput. Sci. 820, 91--122 (2020; Zbl 1455.94114) Full Text: DOI
Zhu, Yuanran; Venturi, Daniele Generalized Langevin equations for systems with local interactions. (English) Zbl 1437.82019 J. Stat. Phys. 178, No. 5, 1217-1247 (2020). MSC: 82C31 82C22 82M60 35Q82 PDFBibTeX XMLCite \textit{Y. Zhu} and \textit{D. Venturi}, J. Stat. Phys. 178, No. 5, 1217--1247 (2020; Zbl 1437.82019) Full Text: DOI arXiv
Rim, Donsub; Venturi, Luca; Bruna, Joan; Peherstorfer, Benjamin Depth separation for reduced deep networks in nonlinear model reduction: Distilling shock waves in nonlinear hyperbolic problems. arXiv:2007.13977 Preprint, arXiv:2007.13977 [math.NA] (2020). MSC: 68T07 65M22 41A46 BibTeX Cite \textit{D. Rim} et al., ``Depth separation for reduced deep networks in nonlinear model reduction: Distilling shock waves in nonlinear hyperbolic problems'', Preprint, arXiv:2007.13977 [math.NA] (2020) Full Text: arXiv OA License
Brian, Gianluca; Faonio, Antonio; Venturi, Daniele Continuously non-malleable secret sharing for general access structures. (English) Zbl 1455.94206 Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11892, 211-232 (2019). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{G. Brian} et al., Lect. Notes Comput. Sci. 11892, 211--232 (2019; Zbl 1455.94206) Full Text: DOI
Friolo, Daniele; Masny, Daniel; Venturi, Daniele A black-box construction of fully-simulatable, round-optimal oblivious transfer from strongly uniform key agreement. (English) Zbl 1455.94154 Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11891, 111-130 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Friolo} et al., Lect. Notes Comput. Sci. 11891, 111--130 (2019; Zbl 1455.94154) Full Text: DOI
Ateniese, Giuseppe; Francati, Danilo; Nuñez, David; Venturi, Daniele Match me if you can: matchmaking encryption and its applications. (English) Zbl 1509.94058 Boldyreva, Alexandra (ed.) et al., Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11693, 701-731 (2019). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{G. Ateniese} et al., Lect. Notes Comput. Sci. 11693, 701--731 (2019; Zbl 1509.94058) Full Text: DOI
Faonio, Antonio; Venturi, Daniele Non-malleable secret sharing in the computational setting: adaptive tampering, noisy-leakage resilience, and improved rate. (English) Zbl 1509.94158 Boldyreva, Alexandra (ed.) et al., Advances in cryptology – CRYPTO 2019. 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11693, 448-479 (2019). MSC: 94A62 94A60 68M25 68M14 PDFBibTeX XMLCite \textit{A. Faonio} and \textit{D. Venturi}, Lect. Notes Comput. Sci. 11693, 448--479 (2019; Zbl 1509.94158) Full Text: DOI
Ateniese, Giuseppe; Francati, Danilo; Magri, Bernardo; Venturi, Daniele Public immunization against complete subversion without random oracles. (English) Zbl 1458.94292 Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11464, 465-485 (2019). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{G. Ateniese} et al., Lect. Notes Comput. Sci. 11464, 465--485 (2019; Zbl 1458.94292) Full Text: DOI
Coretti, Sandro; Faonio, Antonio; Venturi, Daniele Rate-optimizing compilers for continuously non-malleable codes. (English) Zbl 1458.94228 Deng, Robert H. (ed.) et al., Applied cryptography and network security. 17th international conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11464, 3-23 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Coretti} et al., Lect. Notes Comput. Sci. 11464, 3--23 (2019; Zbl 1458.94228) Full Text: DOI
Faonio, Antonio; Buus Nielsen, Jesper; Simkin, Mark; Venturi, Daniele Continuously non-malleable codes with split-state refresh. (English) Zbl 1423.94070 Theor. Comput. Sci. 759, 98-132 (2019). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Faonio} et al., Theor. Comput. Sci. 759, 98--132 (2019; Zbl 1423.94070) Full Text: DOI Link
Nakamura-Zimmerer, Tenavi; Venturi, Daniele; Gong, Qi; Kang, Wei Density Propagation with Characteristics-based Deep Learning. arXiv:1911.09311 Preprint, arXiv:1911.09311 [math.DS] (2019). BibTeX Cite \textit{T. Nakamura-Zimmerer} et al., ``Density Propagation with Characteristics-based Deep Learning'', Preprint, arXiv:1911.09311 [math.DS] (2019) Full Text: arXiv OA License
Ostrovsky, Rafail; Persiano, Giuseppe; Venturi, Daniele; Visconti, Ivan Continuously non-malleable codes in the split-state model from minimal assumptions. (English) Zbl 1457.94169 Shacham, Hovav (ed.) et al., Advances in cryptology – CRYPTO 2018. 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19–23, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10993, 608-639 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{R. Ostrovsky} et al., Lect. Notes Comput. Sci. 10993, 608--639 (2018; Zbl 1457.94169) Full Text: DOI Link
Boelens, Arnout M. P.; Venturi, Daniele; Tartakovsky, Daniel M. Parallel tensor methods for high-dimensional linear PDEs. (English) Zbl 1416.65387 J. Comput. Phys. 375, 519-539 (2018). MSC: 65M75 65H10 65C20 PDFBibTeX XMLCite \textit{A. M. P. Boelens} et al., J. Comput. Phys. 375, 519--539 (2018; Zbl 1416.65387) Full Text: DOI arXiv
Zhu, Yuanran; Venturi, Daniele Faber approximation of the Mori-Zwanzig equation. (English) Zbl 1415.37074 J. Comput. Phys. 372, 694-718 (2018). MSC: 37H10 47A58 35R60 37C05 PDFBibTeX XMLCite \textit{Y. Zhu} and \textit{D. Venturi}, J. Comput. Phys. 372, 694--718 (2018; Zbl 1415.37074) Full Text: DOI arXiv
Brennan, Catherine; Venturi, Daniele Data-driven closures for stochastic dynamical systems. (English) Zbl 1415.65014 J. Comput. Phys. 372, 281-298 (2018). MSC: 65C30 37H10 60H15 60H35 PDFBibTeX XMLCite \textit{C. Brennan} and \textit{D. Venturi}, J. Comput. Phys. 372, 281--298 (2018; Zbl 1415.65014) Full Text: DOI arXiv
Zhu, Yuanran; Dominy, Jason M.; Venturi, Daniele On the estimation of the Mori-Zwanzig memory integral. (English) Zbl 1402.60044 J. Math. Phys. 59, No. 10, 103501, 39 p. (2018). MSC: 60G25 82C05 82C70 60H30 91E40 PDFBibTeX XMLCite \textit{Y. Zhu} et al., J. Math. Phys. 59, No. 10, 103501, 39 p. (2018; Zbl 1402.60044) Full Text: DOI arXiv
Ateniese, Giuseppe; Kiayias, Aggelos; Magri, Bernardo; Tselekounis, Yiannis; Venturi, Daniele Secure outsourcing of cryptographic circuits manufacturing. (English) Zbl 1421.94035 Baek, Joonsang (ed.) et al., Provable security. 12th international conference, ProvSec 2018, Jeju, South Korea, October 25–28, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11192, 75-93 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{G. Ateniese} et al., Lect. Notes Comput. Sci. 11192, 75--93 (2018; Zbl 1421.94035) Full Text: DOI Link
Faonio, Antonio; Nielsen, Jesper Buus; Simkin, Mark; Venturi, Daniele Continuously non-malleable codes with split-state refresh. (English) Zbl 1440.94048 Preneel, Bart (ed.) et al., Applied cryptography and network security. 16th international conference, ACNS 2018, Leuven, Belgium, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10892, 121-139 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Faonio} et al., Lect. Notes Comput. Sci. 10892, 121--139 (2018; Zbl 1440.94048) Full Text: DOI Link
Mittelbach, Arno; Venturi, Daniele Fiat-Shamir for highly sound protocols is instantiable. (English) Zbl 1408.94953 Theor. Comput. Sci. 740, 28-62 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Mittelbach} and \textit{D. Venturi}, Theor. Comput. Sci. 740, 28--62 (2018; Zbl 1408.94953) Full Text: DOI
Venturi, Daniele The numerical approximation of nonlinear functionals and functional differential equations. (English) Zbl 1473.65064 Phys. Rep. 732, 1-102 (2018). MSC: 65J15 81Q05 81Q80 PDFBibTeX XMLCite \textit{D. Venturi}, Phys. Rep. 732, 1--102 (2018; Zbl 1473.65064) Full Text: DOI arXiv
Venturi, Luca; Torlo, Davide; Ballarin, Francesco; Rozza, Gianluigi Weighted reduced order methods for parametrized partial differential equations with random inputs. arXiv:1805.00828 Preprint, arXiv:1805.00828 [math.NA] (2018). BibTeX Cite \textit{L. Venturi} et al., ``Weighted reduced order methods for parametrized partial differential equations with random inputs'', Preprint, arXiv:1805.00828 [math.NA] (2018) Full Text: DOI arXiv OA License
Cho, Heyrim; Venturi, Daniele; Karniadakis, George Em Numerical methods for high-dimensional kinetic equations. (English) Zbl 1404.65117 Jin, Shi (ed.) et al., Uncertainty quantification for hyperbolic and kinetic equations. Cham: Springer (ISBN 978-3-319-67109-3/hbk; 978-3-319-67110-9/ebook). SEMA SIMAI Springer Series 14, 93-125 (2017). MSC: 65M12 35R60 76P05 82C31 65M50 65M06 65D32 65M55 15A69 41A63 65M70 65M60 65L05 PDFBibTeX XMLCite \textit{H. Cho} et al., SEMA SIMAI Springer Ser. 14, 93--125 (2017; Zbl 1404.65117) Full Text: DOI
Gilbert, David R.; Venturi, Giorgio Neighborhood semantics for logics of unknown truths and false beliefs. (English) Zbl 1422.03025 Australas. J. Log. 14, No. 1, Spec. Iss., 246-267 (2017). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{D. R. Gilbert} and \textit{G. Venturi}, Australas. J. Log. 14, No. 1, 246--267 (2017; Zbl 1422.03025) Full Text: Link
Kiltz, Eike; Pietrzak, Krzysztof; Venturi, Daniele; Cash, David; Jain, Abhishek Efficient authentication from hard learning problems. (English) Zbl 1386.94096 J. Cryptology 30, No. 4, 1238-1275 (2017). MSC: 94A62 PDFBibTeX XMLCite \textit{E. Kiltz} et al., J. Cryptology 30, No. 4, 1238--1275 (2017; Zbl 1386.94096) Full Text: DOI Link
Parussini, L.; Venturi, D.; Perdikaris, P.; Karniadakis, G. E. Multi-fidelity Gaussian process regression for prediction of random fields. (English) Zbl 1419.62272 J. Comput. Phys. 336, 36-50 (2017). MSC: 62M40 60G15 60G25 62F15 65C30 PDFBibTeX XMLCite \textit{L. Parussini} et al., J. Comput. Phys. 336, 36--50 (2017; Zbl 1419.62272) Full Text: DOI Link
Faust, Sebastian; Hostáková, Kristina; Mukherjee, Pratyay; Venturi, Daniele Non-malleable codes for space-bounded tampering. (English) Zbl 1409.94871 Katz, Jonathan (ed.) et al., Advances in cryptology – CRYPTO 2017. 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20–24, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10402, 95-126 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 10402, 95--126 (2017; Zbl 1409.94871) Full Text: DOI Link
Dominy, Jason M.; Venturi, Daniele Duality and conditional expectations in the Nakajima-Mori-Zwanzig formulation. (English) Zbl 1376.81037 J. Math. Phys. 58, No. 8, 082701, 26 p. (2017). Reviewer: Miyeon Kwon (Platteville) MSC: 81R15 81S22 82B31 82C31 62F15 46L05 46L30 46L60 PDFBibTeX XMLCite \textit{J. M. Dominy} and \textit{D. Venturi}, J. Math. Phys. 58, No. 8, 082701, 26 p. (2017; Zbl 1376.81037) Full Text: DOI arXiv
Biagioni, Silvio; Masny, Daniel; Venturi, Daniele Naor-Yung paradigm with shared randomness and applications. (English) Zbl 1421.94040 Theor. Comput. Sci. 692, 90-113 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Biagioni} et al., Theor. Comput. Sci. 692, 90--113 (2017; Zbl 1421.94040) Full Text: DOI
Faonio, Antonio; Nielsen, Jesper Buus; Venturi, Daniele Predictable arguments of knowledge. (English) Zbl 1404.94067 Fehr, Serge (ed.), Public-key cryptography – PKC 2017. 20th IACR international conference on practice and theory in public-key cryptography, Amsterdam, The Netherlands, March 28–31, 2017. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-54364-1/pbk; 978-3-662-54365-8/ebook). Lecture Notes in Computer Science 10174, 121-150 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Faonio} et al., Lect. Notes Comput. Sci. 10174, 121--150 (2017; Zbl 1404.94067) Full Text: DOI Link
Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele Bounded tamper resilience: how to go beyond the algebraic barrier. (English) Zbl 1370.94501 J. Cryptology 30, No. 1, 152-190 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{I. Damgård} et al., J. Cryptology 30, No. 1, 152--190 (2017; Zbl 1370.94501) Full Text: DOI Link
Faonio, Antonio; Buus Nielsen, Jesper; Venturi, Daniele Fully leakage-resilient signatures revisited: graceful degradation, noisy leakage, and construction in the bounded-retrieval model. (English) Zbl 1380.94087 Theor. Comput. Sci. 660, 23-56 (2017). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Faonio} et al., Theor. Comput. Sci. 660, 23--56 (2017; Zbl 1380.94087) Full Text: DOI
Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele; Wichs, Daniel Efficient non-malleable codes and key derivation for poly-size tampering circuits. (English) Zbl 1359.94692 IEEE Trans. Inf. Theory 62, No. 12, 7179-7194 (2016). MSC: 94B05 94C05 PDFBibTeX XMLCite \textit{S. Faust} et al., IEEE Trans. Inf. Theory 62, No. 12, 7179--7194 (2016; Zbl 1359.94692) Full Text: DOI
Faonio, Antonio; Venturi, Daniele Efficient public-key cryptography with bounded leakage and tamper resilience. (English) Zbl 1404.94068 Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4–8, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-53886-9/pbk; 978-3-662-53887-6/ebook). Lecture Notes in Computer Science 10031, 877-907 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Faonio} and \textit{D. Venturi}, Lect. Notes Comput. Sci. 10031, 877--907 (2016; Zbl 1404.94068) Full Text: DOI Link
Cho, H.; Venturi, D.; Karniadakis, G. E. Numerical methods for high-dimensional probability density function equations. (English) Zbl 1349.65046 J. Comput. Phys. 305, 817-837 (2016). MSC: 65C50 60H35 35Q20 35Q82 35Q84 62J10 65M75 PDFBibTeX XMLCite \textit{H. Cho} et al., J. Comput. Phys. 305, 817--837 (2016; Zbl 1349.65046) Full Text: DOI Link
Dagdelen, Özgür; Mohassel, Payman; Venturi, Daniele Rate-limited secure function evaluation. (English) Zbl 1353.94045 Theor. Comput. Sci. 653, 53-78 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{Ö. Dagdelen} et al., Theor. Comput. Sci. 653, 53--78 (2016; Zbl 1353.94045) Full Text: DOI
Mittelbach, Arno; Venturi, Daniele Fiat-Shamir for highly sound protocols is instantiable. (English) Zbl 1416.94055 Zikas, Vassilis (ed.) et al., Security and cryptography for networks. 10th international conference, SCN 2016, Amalfi, Italy, August 31 – September 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9841, 198-215 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Mittelbach} and \textit{D. Venturi}, Lect. Notes Comput. Sci. 9841, 198--215 (2016; Zbl 1416.94055) Full Text: DOI
Biagioni, Silvio; Masny, Daniel; Venturi, Daniele Naor-Yung paradigm with shared randomness and applications. (English) Zbl 1400.94121 Zikas, Vassilis (ed.) et al., Security and cryptography for networks. 10th international conference, SCN 2016, Amalfi, Italy, August 31 – September 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-44617-2/pbk; 978-3-319-44618-9/ebook). Lecture Notes in Computer Science 9841, 62-80 (2016). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{S. Biagioni} et al., Lect. Notes Comput. Sci. 9841, 62--80 (2016; Zbl 1400.94121) Full Text: DOI Link
Perdikaris, Paris; Venturi, Daniele; Karniadakis, George Em Multifidelity information fusion algorithms for high-dimensional systems and massive data sets. (English) Zbl 1342.62110 SIAM J. Sci. Comput. 38, No. 4, B521-B538 (2016). MSC: 62H30 62G08 68T37 68T05 60G15 PDFBibTeX XMLCite \textit{P. Perdikaris} et al., SIAM J. Sci. Comput. 38, No. 4, B521--B538 (2016; Zbl 1342.62110) Full Text: DOI
Baronti, Marco; De Mari, Filippo; van der Putten, Robertus; Venturi, Irene Calculus problems. (English) Zbl 1349.26001 Unitext 101. La Matematica per il 3+2. Cham: Springer (ISBN 978-3-319-15427-5/pbk; 978-3-319-15428-2/ebook). xiii, 366 p. (2016). MSC: 26-01 PDFBibTeX XMLCite \textit{M. Baronti} et al., Calculus problems. Cham: Springer (2016; Zbl 1349.26001) Full Text: DOI
Gilbert, David R.; Venturi, Giorgio Reflexive-insensitive modal logics. (English) Zbl 1353.03011 Rev. Symb. Log. 9, No. 1, 167-180 (2016). Reviewer: Can Baskent (Bath) MSC: 03B45 PDFBibTeX XMLCite \textit{D. R. Gilbert} and \textit{G. Venturi}, Rev. Symb. Log. 9, No. 1, 167--180 (2016; Zbl 1353.03011) Full Text: DOI arXiv
Faust, Sebastian; Masny, Daniel; Venturi, Daniele Chosen-ciphertext security from subset sum. (English) Zbl 1388.94053 Cheng, Chen-Mou (ed.) et al., Public-key cryptography – PKC 2016. 19th IACR international conference on practice and theory in public-key cryptography, Taipei, Taiwan, March 6–9, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49383-0/pbk; 978-3-662-49384-7/ebook). Lecture Notes in Computer Science 9614, 35-46 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 9614, 35--46 (2016; Zbl 1388.94053) Full Text: DOI Link
Coretti, Sandro; Dodis, Yevgeniy; Tackmann, Björn; Venturi, Daniele Non-malleable encryption: simpler, shorter, stronger. (English) Zbl 1388.94043 Kushilevitz, Eyal (ed.) et al., Theory of cryptography. 13th international conference, TCC 2016-A, Tel Aviv, Israel, January 10–13, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49095-2/pbk; 978-3-662-49096-9/ebook). Lecture Notes in Computer Science 9562, 306-335 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Coretti} et al., Lect. Notes Comput. Sci. 9562, 306--335 (2016; Zbl 1388.94043) Full Text: DOI
Kohlweiss, Markulf; Maurer, Ueli; Onete, Cristina; Tackmann, Björn; Venturi, Daniele (De-)constructing TLS 1.3. (English) Zbl 1367.94319 Biryukov, Alex (ed.) et al., Progress in cryptology – INDOCRYPT 2015. 16th international conference on cryptology in India, Bangalore, India, December 6–9, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26616-9/pbk; 978-3-319-26617-6/ebook). Lecture Notes in Computer Science 9462, 85-102 (2015). MSC: 94A60 68M11 68M12 PDFBibTeX XMLCite \textit{M. Kohlweiss} et al., Lect. Notes Comput. Sci. 9462, 85--102 (2015; Zbl 1367.94319) Full Text: DOI Link
Cho, H.; Yang, X.; Venturi, D.; Karniadakis, G. E. Algorithms for propagating uncertainty across heterogeneous domains. (English) Zbl 1347.60093 SIAM J. Sci. Comput. 37, No. 6, A3030-A3054 (2015). MSC: 60H35 60H15 65C30 60G60 PDFBibTeX XMLCite \textit{H. Cho} et al., SIAM J. Sci. Comput. 37, No. 6, A3030--A3054 (2015; Zbl 1347.60093) Full Text: DOI Link
Faonio, Antonio; Nielsen, Jesper Buus; Venturi, Daniele Mind your coins: fully leakage-resilient signatures with graceful degradation. (English) Zbl 1440.94049 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9134, 456-468 (2015). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{A. Faonio} et al., Lect. Notes Comput. Sci. 9134, 456--468 (2015; Zbl 1440.94049) Full Text: DOI
Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele The Chaining Lemma and its application. (English) Zbl 1375.94081 Lehmann, Anja (ed.) et al., Information theoretic security. 8th international conference, ICITS 2015, Lugano, Switzerland, May 2–5, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-17469-3/pbk; 978-3-319-17470-9/ebook). Lecture Notes in Computer Science 9063, 181-196 (2015). MSC: 94A15 94A60 PDFBibTeX XMLCite \textit{I. Damgård} et al., Lect. Notes Comput. Sci. 9063, 181--196 (2015; Zbl 1375.94081) Full Text: DOI
Dagdelen, Özgür; Venturi, Daniele A multi-party protocol for privacy-preserving cooperative linear systems of equations. (English) Zbl 1401.94144 Ors, Berna (ed.) et al., Cryptography and information security in the Balkans. First international conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-21355-2/pbk; 978-3-319-21356-9/ebook). Lecture Notes in Computer Science 9024, 161-172 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{Ö. Dagdelen} and \textit{D. Venturi}, Lect. Notes Comput. Sci. 9024, 161--172 (2015; Zbl 1401.94144) Full Text: DOI
Faust, Sebastian; Mukherjee, Pratyay; Nielsen, Jesper Buus; Venturi, Daniele A tamper and leakage resilient von Neumann architecture. (English) Zbl 1345.94060 Katz, Jonathan (ed.), Public-key cryptography – PKC 2015. 18th IACR international conference on practice and theory in public-key cryptography, Gaithersburg, MD, USA, March 30 – April 1, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46446-5/pbk; 978-3-662-46447-2/ebook). Lecture Notes in Computer Science 9020, 579-603 (2015). MSC: 94A60 68P25 68N20 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 9020, 579--603 (2015; Zbl 1345.94060) Full Text: DOI Link
Coretti, Sandro; Maurer, Ueli; Tackmann, Björn; Venturi, Daniele From single-bit to multi-bit public-key encryption via non-malleable codes. (English) Zbl 1359.94581 Dodis, Yevgeniy (ed.) et al., Theory of cryptography. 12th theory of cryptography conference, TCC 2015, Warsaw, Poland, March 23–25, 2015. Proceedings, Part I. Heidelberg: Springer (ISBN 978-3-662-46493-9/pbk). Lecture Notes in Computer Science 9014, 532-560 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Coretti} et al., Lect. Notes Comput. Sci. 9014, 532--560 (2015; Zbl 1359.94581) Full Text: DOI
Cho, Heyrim; Venturi, Daniele; Karniadakis, George E. Statistical analysis and simulation of random shocks in stochastic Burgers equation. (English) Zbl 1371.76081 Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 470, No. 2171, Article ID 20140080, 21 p. (2014). MSC: 76F55 76L05 82C80 76M10 35Q35 PDFBibTeX XMLCite \textit{H. Cho} et al., Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 470, No. 2171, Article ID 20140080, 21 p. (2014; Zbl 1371.76081) Full Text: DOI
Venturi, D.; Karniadakis, G. E. Convolutionless Nakajima-Zwanzig equations for stochastic analysis in nonlinear dynamical systems. (English) Zbl 1371.60119 Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 470, No. 2166, Article ID 20130754, 20 p. (2014). MSC: 60H30 82B05 PDFBibTeX XMLCite \textit{D. Venturi} and \textit{G. E. Karniadakis}, Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 470, No. 2166, Article ID 20130754, 20 p. (2014; Zbl 1371.60119) Full Text: DOI
Dagdelen, Özgür; Venturi, Daniele A second look at Fischlin’s transformation. (English) Zbl 1318.94064 Pointcheval, David (ed.) et al., Progress in cryptology – AFRICACRYPT 2014. 7th international conference on cryptology in Africa, Marrakesh, Morocco, May 28–30, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06733-9/pbk). Lecture Notes in Computer Science 8469, 356-376 (2014). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{Ö. Dagdelen} and \textit{D. Venturi}, Lect. Notes Comput. Sci. 8469, 356--376 (2014; Zbl 1318.94064) Full Text: DOI
Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele; Wichs, Daniel Efficient non-malleable codes and key-derivation for poly-size tampering circuits. (English) Zbl 1326.94094 Nguyen, Phong Q. (ed.) et al., Advances in cryptology – EUROCRYPT 2014. 33rd annual international conference on the theory and applications of cryptographic techniques, Copenhagen, Denmark, May 11–15, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-55219-9/pbk). Lecture Notes in Computer Science 8441, 111-128 (2014). MSC: 94A60 94B35 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 8441, 111--128 (2014; Zbl 1326.94094) Full Text: DOI
Nielsen, Jesper Buus; Venturi, Daniele; Zottarel, Angela Leakage-resilient signatures with graceful degradation. (English) Zbl 1335.94071 Krawczyk, Hugo (ed.), Public-key cryptography – PKC 2014. 17th international conference on practice and theory in public-key cryptography, Buenos Aires, Argentina, March 26–28, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54630-3/pbk). Lecture Notes in Computer Science 8383, 362-379 (2014). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{J. B. Nielsen} et al., Lect. Notes Comput. Sci. 8383, 362--379 (2014; Zbl 1335.94071) Full Text: DOI
Faust, Sebastian; Mukherjee, Pratyay; Nielsen, Jesper Buus; Venturi, Daniele Continuous non-malleable codes. (English) Zbl 1326.94093 Lindell, Yehuda (ed.), Theory of cryptography. 11th theory of cryptography conference, TCC 2014, San Diego, CA, USA, February 24–26, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54241-1/pbk). Lecture Notes in Computer Science 8349, 465-488 (2014). MSC: 94A60 94B35 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 8349, 465--488 (2014; Zbl 1326.94093) Full Text: DOI
Venturi, D.; Wan, X.; Mikulevicius, R.; Rozovskii, B. L.; Karniadakis, G. E. Wick-Malliavin approximation to nonlinear stochastic partial differential equations: analysis and simulations. (English) Zbl 1371.60108 Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 469, No. 2158, Article ID 20130001, 20 p. (2013). MSC: 60H15 60H07 60H40 41A58 PDFBibTeX XMLCite \textit{D. Venturi} et al., Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 469, No. 2158, Article ID 20130001, 20 p. (2013; Zbl 1371.60108) Full Text: DOI
Venturi, D.; Tartakovsky, D. M.; Tartakovsky, A. M.; Karniadakis, G. E. Exact PDF equations and closure approximations for advective-reactive transport. (English) Zbl 1349.35068 J. Comput. Phys. 243, 323-343 (2013). MSC: 35F10 60G60 65M75 86A04 PDFBibTeX XMLCite \textit{D. Venturi} et al., J. Comput. Phys. 243, 323--343 (2013; Zbl 1349.35068) Full Text: DOI
Venturi, Daniele Conjugate flow action functionals. (English) Zbl 1302.35340 J. Math. Phys. 54, No. 11, 113502, 19 p. (2013). MSC: 35Q53 35A30 35A15 76D05 PDFBibTeX XMLCite \textit{D. Venturi}, J. Math. Phys. 54, No. 11, 113502, 19 p. (2013; Zbl 1302.35340) Full Text: DOI arXiv
Damgård, Ivan; Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele Bounded tamper resilience: how to go beyond the algebraic barrier. (English) Zbl 1314.94065 Sako, Kazue (ed.) et al., Advances in cryptology – ASIACRYPT 2013. 19th international conference on the theory and application of cryptology and information security, Bengaluru, India, December 1–5, 2013. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-42044-3/pbk). Lecture Notes in Computer Science 8270, 140-160 (2013). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{I. Damgård} et al., Lect. Notes Comput. Sci. 8270, 140--160 (2013; Zbl 1314.94065) Full Text: DOI Link
Cho, H.; Venturi, D.; Karniadakis, G. E. Adaptive discontinuous Galerkin method for response-excitation PDF equations. (English) Zbl 1277.60113 SIAM J. Sci. Comput. 35, No. 4, B890-B911 (2013). MSC: 60H35 34F05 65M70 PDFBibTeX XMLCite \textit{H. Cho} et al., SIAM J. Sci. Comput. 35, No. 4, B890--B911 (2013; Zbl 1277.60113) Full Text: DOI
Faust, Sebastian; Hazay, Carmit; Venturi, Daniele Outsourced pattern matching. (English) Zbl 1334.68072 Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 545-556 (2013). MSC: 68Q10 68P25 68W32 PDFBibTeX XMLCite \textit{S. Faust} et al., Lect. Notes Comput. Sci. 7966, 545--556 (2013; Zbl 1334.68072) Full Text: DOI Link
Nielsen, Jesper Buus; Venturi, Daniele; Zottarel, Angela On the connection between leakage tolerance and adaptive security. (English) Zbl 1314.94091 Kurosawa, Kaoru (ed.) et al., Public-key cryptography – PKC 2013. 16th international conference on practice and theory in public-key cryptography, Nara, Japan, February 26–March 1, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36361-0/pbk). Lecture Notes in Computer Science 7778, 497-515 (2013). MSC: 94A60 PDFBibTeX XMLCite \textit{J. B. Nielsen} et al., Lect. Notes Comput. Sci. 7778, 497--515 (2013; Zbl 1314.94091) Full Text: DOI