( en | de | ru )

 

Disambiguierung von "Olivieri, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

, , , , , , , , und . SOAP@PLDI, Seite 23-29. ACM, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Luca Maria Olivieri

Gillian Olivieri

Nicoletta Olivieri

Lilian Olivieri

Luca Rizzini

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Compliance of Smart Contracts with the European Union Data Act., und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 61-66. CEUR-WS.org, (2023)BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results., , und . VMCAI, Volume 11990 von Lecture Notes in Computer Science, Seite 23-43. Springer, (2020)Teaching Through Practice: Advanced Static Analysis with LiSA., , , , und . FMTea, Volume 14939 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2024)MichelsonLiSA: A Static Analyzer for Tezos., , , und . PerCom Workshops, Seite 80-85. IEEE, (2023)Ensuring determinism in blockchain software with GoLiSA: an industrial experience report., , , , , , , , und . SOAP@PLDI, Seite 23-29. ACM, (2022)Detection of Phantom Reads in Hyperledger Fabric., , , , , und . IEEE Access, (2024)On-Chain Smart Contract Verification over Tendermint., , und . Financial Cryptography Workshops, Volume 12676 von Lecture Notes in Computer Science, Seite 333-347. Springer, (2021)Tailoring Taint Analysis to GDPR., , und . APF, Volume 11079 von Lecture Notes in Computer Science, Seite 63-76. Springer, (2018)Cybersecurity Impacts of the Covid-19 Pandemic in Italy., , und . ITASEC, Volume 2940 von CEUR Workshop Proceedings, Seite 145-155. CEUR-WS.org, (2021)Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , und . BCCA, Seite 187-194. IEEE, (2021)