Smart-Contract Protocols: Theory for Applications

Publications

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

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

Recherche de données OpenAIRE...

Publications

Partager cette page

Télécharger