Secure Blockchain-Based Supply Chain Management with Verifiable Digital Twins
(se abrirá en una nueva ventana)
Autores:
Vincenzo Botta , Laura Fusco , Attilio Mondelli , and Ivan Visconti
Publicado en:
GoodIT '23: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, 2023, Página(s) 291–298, ISBN 979-8-4007-0116-0
Editor:
Association for Computing Machinery
DOI:
10.1145/3582515.3609547
Lightning Creation Games
Autores:
Zeta Avarikioti, Tomasz Lizurej, Tomasz Michalak, and Michelle Yeo
Publicado en:
43rd IEEE International Conference on Distributed Computing Systems (ICDCS) 2023 [TO APPEAR], 2023
Editor:
IEEE
On Manipulating Weight Predictions in Signed Weighted Networks
(se abrirá en una nueva ventana)
Autores:
Lizurej, Tomasz; Michalak, Tomasz; Dziembowski, Stefan
Publicado en:
Proceedings of the AAAI Conference on Artificial Intelligence 2023, Edición 37(4), 2023, Página(s) 5222-5229, ISBN 978-1-57735-880-0
Editor:
AAAI Press
DOI:
10.1609/aaai.v37i4.25652
Individual Cryptography
(se abrirá en una nueva ventana)
Autores:
Stefan Dziembowski, Sebastian Faust, and Tomasz Lizurej
Publicado en:
43rd Annual Cryptology Conference, CRYPTO 2023, 2023, Página(s) 547--579
Editor:
Springer
DOI:
10.1007/978-3-031-38545-2_18
Extendable Threshold Ring Signatures with Enhanced Anonymity
(se abrirá en una nueva ventana)
Autores:
Gennaro Avitabile; Vincenzo Botta; Dario Fiore
Publicado en:
Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, 2023, Página(s) 281--311, ISBN 978-3-031-31367-7
Editor:
Springer
DOI:
10.1007/978-3-031-31368-4_11
Efficiently Testable Circuits
(se abrirá en una nueva ventana)
Autores:
Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, Malgorzata Galazka, Tomasz Lizurej, Krzysztof Pietrzak
Publicado en:
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, ITCS 2023, 2023, Página(s) 1 - 23, ISBN 978-3-95977-263-1
Editor:
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.itcs.2023.10
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt
(se abrirá en una nueva ventana)
Autores:
Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub
Publicado en:
42nd Annual Cryptology Conference, CRYPTO 2022, 2022, Página(s) 622-653, ISBN 978-3-031-15802-5
Editor:
Springer
DOI:
10.1007/978-3-031-15802-5_22
Non-Atomic Payment Splitting in Channel Networks
Autores:
Stefan Dziembowski; Paweł Kedzior
Publicado en:
Advances in Financial Technologies - AFT 2023 [TO APPEAR], 2023
Editor:
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
