Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Smart-Contract Protocols: Theory for Applications

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

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Doubly adaptive zero-knowledge proofs (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0