CORDIS - Forschungsergebnisse der EU
CORDIS

Smart-Contract Protocols: Theory for Applications

Veröffentlichungen

Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins

Autoren: Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Veröffentlicht in: GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Seite(n) 291–298, ISBN 979-8-4007-0116-0
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3582515.3609547

Lightning Creation Games

Autoren: Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Veröffentlicht in: 43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Herausgeber: IEEE

On Manipulating Weight Predictions in Signed Weighted Networks

Autoren: Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence 2023, Ausgabe 37(4), 2023, Seite(n) 5222-5229, ISBN 978-1-57735-880-0
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v37i4.25652

Individual Cryptography

Autoren: Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Veröffentlicht in: 43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Seite(n) 547--579
Herausgeber: Springer
DOI: 10.1007/978-3-031-38545-2_18

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autoren: Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Veröffentlicht in: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Seite(n) 281--311, ISBN 978-3-031-31367-7
Herausgeber: Springer
DOI: 10.1007/978-3-031-31368-4_11

Efficiently Testable Circuits

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

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

Autoren: Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Veröffentlicht in: 42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Seite(n) 622-653, ISBN 978-3-031-15802-5
Herausgeber: Springer
DOI: 10.1007/978-3-031-15802-5_22

Non-Atomic Payment Splitting in Channel Networks

Autoren: Stefan Dziembowski; Paweł Kedzior
Veröffentlicht in: Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Doubly adaptive zero-knowledge proofs

Autoren: Vincenzo Botta; Ivan Visconti
Veröffentlicht in: Theoretical Computer Science, Ausgabe 968, 2023, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2023.114014

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor