Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Leonardo Alt
Observed name:
Alt, Leonardo
Institution:
Ethereum Foundation
Observed institutions:
Ethereum Foundation,
Università della Svizzera italiana
ORCID:
0000-0001-5976-5153
Observed ORCID:
0000-0001-5976-5153
OpenAlex ID:
A5072605212
SMT-Based Verification of Solidity Smart Contracts
2018
·
Leonardo Alt
, Christian Reitwiessner
·
Lecture notes in computer science
·
70
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
2016
·
Antti E. J. Hyvärinen
, Matteo Marescotti
, et al.
·
Lecture notes in computer science
·
51
SolCMC: Solidity Compiler’s Model Checker
2022
·
Leonardo Alt
, Martin Blicha
, et al.
·
Lecture notes in computer science
·
48
PDF
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
2013
·
Simone Fulvio Rollini
, Leonardo Alt
, et al.
·
Lecture notes in computer science
·
31
A Solicitous Approach to Smart Contract Verification
2022
·
Rodrigo Otoni
, Matteo Marescotti
, et al.
·
ACM Transactions on Privacy and Security
·
28
HiFrog: SMT-based Function Summarization for Software Verification
2017
·
Leonardo Alt
, Sepideh Asadi
, et al.
·
Lecture notes in computer science
·
23
Accurate Smart Contract Verification Through Direct Modelling
2020
·
Matteo Marescotti
, Rodrigo Otoni
, et al.
·
Lecture notes in computer science
·
17
A Proof-Sensitive Approach for Small Propositional Interpolants
2016
·
Leonardo Alt
, Grigory Fedyukovich
, et al.
·
Lecture notes in computer science
·
17
LRA Interpolants from No Man’s Land
2017
·
Leonardo Alt
, Antti E. J. Hyvärinen
, et al.
·
Lecture notes in computer science
·
12
A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher
2023
·
Everton R. Lira
, Heverton B. de Macêdo
, et al.
·
Natural Computing
·
11
PDF
Duality-based interpolation for quantifier-free equalities and uninterpreted functions
2017
·
Leonardo Alt
, Antti E. J. Hyvarinen
, et al.
·
Formal Methods in Computer-Aided Design
·
9
SolTG: A CHC-Based Solidity Test Case Generator
2024
·
Konstantin Britikov
, Ilia Zlatkin
, et al.
·
Lecture notes in computer science
·
6
PDF
PVAIR: Partial Variable Assignment InterpolatoR
2016
·
Pavel Jančík
, Leonardo Alt
, et al.
·
Lecture notes in computer science
·
4
Exploiting partial variable assignment in interpolation-based model checking
2019
·
Pavel Jančík
, Jan Kofroň
, et al.
·
Formal Methods in System Design
·
1
Flexible Interpolation for Efficient Model Checking
2016
·
Antti E. J. Hyvärinen
, Leonardo Alt
, et al.
·
Lecture notes in computer science
·
1
Controlled and effective interpolation
2016
·
Leonardo Alt
Optimizing Function Summaries Through Interpolation
2015
·
Simone Fulvio Rollini
, Leonardo Alt
, et al.
·
Springer eBooks
Propriedades decidíveis de autômatos celulares finitos, híbridos, não-lineares, sensíveis e reversíveis
2013
·
Leonardo Alt
·
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)
Show more works
View as search
Works count:
20
Citation count:
329
H-index:
10
I10-index:
10
Year
Topic
Type
