Smart-Contract Protocols: Theory for Applications

Información del proyecto

PROCONTRA

Identificador del acuerdo de subvención: 885666

DOI 10.3030/885666

Fecha de la firma de la CE 10 Septiembre 2020

Fecha de inicio 1 Enero 2021

Fecha de finalización 31 Diciembre 2025

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total € 2 496 370,00

Aportación de la UE € 2 496 370,00

Coordinado por

UNIWERSYTET WARSZAWSKI
Poland

Publicaciones

Conference proceedings (8)

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Autores: Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Publicado en: GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Página(s) 291–298, ISBN 979-8-4007-0116-0
Editor: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

Autores: Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Publicado en: 43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Editor: IEEE

On Manipulating Weight Predictions in Signed Weighted Networks

Autores: Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Edición 37(4), 2023, Página(s) 5222-5229, ISBN 978-1-57735-880-0
Editor: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Autores: Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Publicado en: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Página(s) 547--579
Editor: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autores: Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Publicado en: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Página(s) 281--311, ISBN 978-3-031-31367-7
Editor: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

Autores: Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Malgorzata Galazka, Tomasz Lizurej, Krzysztof Pietrzak
Publicado en: Proceedings of the 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, 2023, Página(s) 1 - 23, ISBN 978-3-95977-263-1
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.itcs.2023.10

Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt

Autores: Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Publicado en: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Página(s) 622-653, ISBN 978-3-031-15802-5
Editor: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Autores: Stefan Dziembowski; Paweł Kedzior
Publicado en: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Editor: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Peer reviewed articles (1)

Doubly adaptive zero-knowledge proofs

Autores: Vincenzo Botta; Ivan Visconti
Publicado en: Theoretical Computer Science, Edición 968, 2023, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014