Smart-Contract Protocols: Theory for Applications

Informacje na temat projektu

PROCONTRA

Identyfikator umowy o grant: 885666

DOI 10.3030/885666

Data podpisania przez KE 10 Września 2020

Data rozpoczęcia 1 Stycznia 2021

Data zakończenia 31 Grudnia 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity € 2 496 370,00

Wkład UE € 2 496 370,00

Koordynowany przez

UNIWERSYTET WARSZAWSKI
Poland

Publikacje

Conference proceedings (8)

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Autorzy: Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Opublikowane w: GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Strona(/y) 291–298, ISBN 979-8-4007-0116-0
Wydawca: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

Autorzy: Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Opublikowane w: 43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Wydawca: IEEE

On Manipulating Weight Predictions in Signed Weighted Networks

Autorzy: Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Numer 37(4), 2023, Strona(/y) 5222-5229, ISBN 978-1-57735-880-0
Wydawca: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Autorzy: Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Opublikowane w: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Strona(/y) 547--579
Wydawca: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autorzy: Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Opublikowane w: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Strona(/y) 281--311, ISBN 978-3-031-31367-7
Wydawca: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

Autorzy: Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Malgorzata Galazka, Tomasz Lizurej, Krzysztof Pietrzak
Opublikowane w: Proceedings of the 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, 2023, Strona(/y) 1 - 23, ISBN 978-3-95977-263-1
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.itcs.2023.10

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

Autorzy: Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Opublikowane w: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Strona(/y) 622-653, ISBN 978-3-031-15802-5
Wydawca: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Autorzy: Stefan Dziembowski; Paweł Kedzior
Opublikowane w: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Peer reviewed articles (1)

Doubly adaptive zero-knowledge proofs

Autorzy: Vincenzo Botta; Ivan Visconti
Opublikowane w: Theoretical Computer Science, Numer 968, 2023, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014