Smart-Contract Protocols: Theory for Applications

Informazioni relative al progetto

PROCONTRA

ID dell’accordo di sovvenzione: 885666

DOI 10.3030/885666

Data della firma CE 10 Settembre 2020

Data di avvio 1 Gennaio 2021

Data di completamento 31 Dicembre 2025

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale € 2 496 370,00

Contributo UE € 2 496 370,00

Coordinato da

UNIWERSYTET WARSZAWSKI
Poland

Pubblicazioni

Conference proceedings (8)

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Autori: Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Pubblicato in: GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Pagina/e 291–298, ISBN 979-8-4007-0116-0
Editore: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

Autori: Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Pubblicato in: 43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Editore: IEEE

On Manipulating Weight Predictions in Signed Weighted Networks

Autori: Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Numero 37(4), 2023, Pagina/e 5222-5229, ISBN 978-1-57735-880-0
Editore: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Autori: Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Pubblicato in: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Pagina/e 547--579
Editore: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autori: Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Pubblicato in: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Pagina/e 281--311, ISBN 978-3-031-31367-7
Editore: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

Autori: Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Malgorzata Galazka, Tomasz Lizurej, Krzysztof Pietrzak
Pubblicato in: Proceedings of the 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, 2023, Pagina/e 1 - 23, ISBN 978-3-95977-263-1
Editore: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.itcs.2023.10

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

Autori: Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Pubblicato in: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Pagina/e 622-653, ISBN 978-3-031-15802-5
Editore: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Autori: Stefan Dziembowski; Paweł Kedzior
Pubblicato in: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Editore: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Peer reviewed articles (1)

Doubly adaptive zero-knowledge proofs

Autori: Vincenzo Botta; Ivan Visconti
Pubblicato in: Theoretical Computer Science, Numero 968, 2023, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014