Copertina

Smart Contract Languages: a comparative analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, Zunino, Roberto
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
di: Ressi, Dalila, et al.
Pubblicazione: (2024)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

Reentrancy Detection in the Age of LLMs
di: Ressi, Dalila, et al.
Pubblicazione: (2026)

Assessing Code Understanding in LLMs
di: Laneve, Cosimo, et al.
Pubblicazione: (2025)

A theoretical basis for MEV
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Formal verification in Solidity and Move: insights from a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Certifying optimal MEV strategies with Lean
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

DeFi composability as MEV non-interference
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Secure compilation of rich smart contracts on poor UTXO blockchains
di: Bartoletti, Massimo, et al.
Pubblicazione: (2023)

Towards benchmarking of Solidity verification tools
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
di: Pettinau, Roberto, et al.
Pubblicazione: (2026)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
di: Maddaloni, Dario, et al.
Pubblicazione: (2024)

Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
di: Spanò, Alvise
Pubblicazione: (2024)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
di: Bartoletti, Massimo, et al.
Pubblicazione: (2017)

Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities
di: Salzano, Francesco, et al.
Pubblicazione: (2025)

Tailoring the birefringence of femtosecond-laser-written multi-scan waveguides in glass
di: Memeo, Roberto, et al.
Pubblicazione: (2026)

The algorithm as the interface between the law and the code: the case of the Italian election of a regional parliament
di: Crafa, Silvia
Pubblicazione: (2026)

Are Smart Contracts and Blockchains Suitable for Decentralized Railway Control?
di: Kuperberg, Michael, et al.
Pubblicazione: (2019)

A história segundo Cristina Kirchner
di: Renata Dal Sasso FREITAS
Pubblicazione: (2023)

Planos de contingência para a vigilância em saúde na pandemia da COVID-19: análise de conformidades em uma rede de hospitais públicos de ensino
di: Márcia Amaral Dal Sasso
Pubblicazione: (2021)

Lionel Lincoln de James Fenimore Cooper:apropriações literárias na prosa romanesca norte--americana da primeira metade do século XIX
di: Renata Dal Sasso Freitas
Pubblicazione: (2012)

Caracterização sociodemográfica e clínica de candidatos a transplante de fígado
di: Karina Dal Sasso Mendes
Pubblicazione: (2016)

Implementação de um painel de indicadores on-line para segurança do paciente
di: Márcia Amaral Dal Sasso
Pubblicazione: (2019)

Gender, the novel and the modern order of time: the case of Frances Burney’s The Wanderer (1814)
di: Renata Dal Sasso Freitas
Pubblicazione: (2020)

Apontamentos sobre História e Literatura nos Estados Unidos do oitocentos: o caso de The Spy (1821) de James Fenimore Cooper
di: Renata Dal Sasso Freitas
Pubblicazione: (2014)

A Data Visualization Platform for Analyzing Social Relations in 19th-century Alegrete
di: Scheuer Gomes, Paulo Roberto, et al.
Pubblicazione: (2025)

Reservation Based Smart Parking Management
di: Cabri, Giacomo, et al.
Pubblicazione: (2026)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
di: Bartoletti, Massimo, et al.
Pubblicazione: (2026)

A quantitative notion of economic security for smart contract compositions
di: Priyadarshini, Emily, et al.
Pubblicazione: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

A theory of Lending Protocols in DeFi
di: Bartoletti, Massimo, et al.
Pubblicazione: (2025)

Inventory Analytics
di: Rossi, Roberto
Pubblicazione: (2021)

The importance of visual modelling languages in generative software engineering
di: Rossi, Roberto
Pubblicazione: (2024)

Between care needs and organizational issues, the Royal Hospital of San Giacomo degli Spagnoli of Palermo (1680-1685)
di: Roberto Rossi
Pubblicazione: (2024)

Climate-Smart Forestry in Mountain Regions
di: Roberto Tognetti

Caracterização física e sensorial do café produzido nas condições topoclimáticas de Jesuitas, Paraná
di: Roberto Natal Dal Molin
Pubblicazione: (2008)

O agente comunitário de saúde: algumas reflexões
di: Mário Roberto Dal Poz
Pubblicazione: (2002)

Exploring Moral Exercises for Human Oversight of AI systems: Insights from Three Pilot Studies
di: Crafa, Silvia, et al.
Pubblicazione: (2025)

Colorectal eversion technique combined with modified single‐stapled double‐purse‐string low colorectal anastomosis
di: Crafa Francesco, et al.
Pubblicazione: (2024)

Piano di Ricerca, Sperimentazione, Testing e Validazione, Assets SmartCity
di: Salis, Antonio
Pubblicazione: (2025)