Smart-Contract Protocols: Theory for Applications

Project Information

PROCONTRA

Grant agreement ID: 885666

DOI

10.3030/885666

EC signature date 10 September 2020

Start date 1 January 2021

End date 30 June 2027

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 496 370,00

EU contribution

€ 2 496 370,00

Coordinated by

UNIWERSYTET WARSZAWSKI
Poland

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (8)

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Author(s): Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Published in: 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
Publisher: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

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

On Manipulating Weight Predictions in Signed Weighted Networks

Author(s): Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Published in: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Issue 37(4), 2023, Page(s) 5222-5229, ISBN 978-1-57735-880-0
Publisher: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Author(s): Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Published in: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Page(s) 547--579
Publisher: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Author(s): Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Published in: 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
Publisher: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

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

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

Author(s): Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Published in: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Page(s) 622-653, ISBN 978-3-031-15802-5
Publisher: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Author(s): Stefan Dziembowski; Paweł Kedzior
Published in: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Peer reviewed articles (1)

Doubly adaptive zero-knowledge proofs

Author(s): Vincenzo Botta; Ivan Visconti
Published in: Theoretical Computer Science, Issue 968, 2023, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014