Smart-Contract Protocols: Theory for Applications

Informations projet

PROCONTRA

N° de convention de subvention: 885666

DOI

10.3030/885666

Date de signature de la CE 10 Septembre 2020

Date de début 1 Janvier 2021

Date de fin 30 Juin 2027

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 496 370,00

Contribution de l’UE

€ 2 496 370,00

Coordonné par

UNIWERSYTET WARSZAWSKI
Poland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (8)

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Auteurs: Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Publié dans: GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Page(s) 291–298, ISBN 979-8-4007-0116-0
Éditeur: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

Auteurs: Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Publié dans: 43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Éditeur: IEEE

On Manipulating Weight Predictions in Signed Weighted Networks

Auteurs: Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Numéro 37(4), 2023, Page(s) 5222-5229, ISBN 978-1-57735-880-0
Éditeur: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Auteurs: Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Publié dans: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Page(s) 547--579
Éditeur: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Auteurs: Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Publié dans: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Page(s) 281--311, ISBN 978-3-031-31367-7
Éditeur: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

Auteurs: Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Malgorzata Galazka, Tomasz Lizurej, Krzysztof Pietrzak
Publié dans: Proceedings of the 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, 2023, Page(s) 1 - 23, ISBN 978-3-95977-263-1
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.itcs.2023.10

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

Auteurs: Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Publié dans: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Page(s) 622-653, ISBN 978-3-031-15802-5
Éditeur: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Auteurs: Stefan Dziembowski; Paweł Kedzior
Publié dans: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Peer reviewed articles (1)

Doubly adaptive zero-knowledge proofs

Auteurs: Vincenzo Botta; Ivan Visconti
Publié dans: Theoretical Computer Science, Numéro 968, 2023, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014